Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

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