Robert Yung and Alvin M. Despain and Peter Van Roy and Bruce K. Holmer

EECS Department, University of California, Berkeley

Technical Report No. UCB/CSD-88-444

, 1988

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/CSD-88-444.pdf

Numerically intensive calculations are not well supported by Prolog, yet there are important applications that require tightly coupled symbolic and numeric calculations. We identify some additional built-in predicates and macros for Prolog to support numeric calculations. These predicates are implemented in several layers of software and hardware, including a specially designed high performance numeric coprocessor. Simulated performance results indicate the system will achieve about 4 MFLOPS on the Prolog version of some Whetstone benchmarks (in double precision).

---

BibTeX citation:

@techreport{Yung:CSD-88-444,
    Author= {Yung, Robert and Despain, Alvin M. and Van Roy, Peter and Holmer, Bruce K.},
    Title= {High Performance Numerical Calculation in Prolog Execution},
    Year= {1988},
    Month= {Feb},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/5368.html},
    Number= {UCB/CSD-88-444},
    Abstract= {Numerically intensive calculations are not well supported by Prolog, yet there are important applications that require tightly coupled symbolic and numeric calculations. We identify some additional built-in predicates and macros for Prolog to support numeric calculations. These predicates are implemented in several layers of software and hardware, including a specially designed high performance numeric coprocessor. Simulated performance results indicate the system will achieve about 4 MFLOPS on the Prolog version of some Whetstone benchmarks (in double precision).},
}

EndNote citation:

%0 Report
%A Yung, Robert 
%A Despain, Alvin M. 
%A Van Roy, Peter 
%A Holmer, Bruce K. 
%T High Performance Numerical Calculation in Prolog Execution
%I EECS Department, University of California, Berkeley
%D 1988
%@ UCB/CSD-88-444
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/5368.html
%F Yung:CSD-88-444