Robert Yung, Alvin M. Despain, Peter Van Roy and Bruce K. Holmer
EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-88-444
February 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}, Institution = {EECS Department, University of California, Berkeley}, 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