High Performance Numerical Calculation in Prolog Execution

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://www.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://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1988/5368.html
%F Yung:CSD-88-444