Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

An Extended Prolog Architecture for Integrated Symbolic and Numerical Executions

Robert Yung, Alvin M. Despain and Yale N. Paul

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-88-445
June 1988

http://www.eecs.berkeley.edu/Pubs/TechRpts/1988/CSD-88-445.pdf

Numerically intensive calculations are not well supported by Prolog, yet there are important applications that require tightly coupled symbolic and numeric calculations. The Aquarius Numeric Processor (ANP) is an extended numeric Instruction Set Architecture (ISA) based on the Berkeley Programmed Logic Machine (PLM) to support integrated symbolic and numeric calculations. This extension expands the existing numeric data type to include 32- and 64-bit integers, single and double precision floating-point numbers conforming to the IEEE Standard P754. A new class of data structure, numeric arrays, is added to represent matrices and arrays found in most scientific programming languages. Powerful numeric instructions are included to manipulate the new data types. Dynamic Operand Coercion (DOC) provides dynamic type checking and coercing of operands. The ANP and PLM together provide for the efficient execution of symbolic and numeric operations written in AI languages such as Prolog and Lisp. Simulated performance results indicate the system will achieve about 10 MFLOPs on the Prolog version of some Whetstone and Linpack benchmarks and close to 20 MFLOPs on some matrix operations (all in double precision).


BibTeX citation:

@techreport{Yung:CSD-88-445,
    Author = {Yung, Robert and Despain, Alvin M. and Paul, Yale N.},
    Title = {An Extended Prolog Architecture for Integrated Symbolic and Numerical Executions},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1988},
    Month = {Jun},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1988/5510.html},
    Number = {UCB/CSD-88-445},
    Abstract = {Numerically intensive calculations are not well supported by Prolog, yet there are important applications that require tightly coupled symbolic and numeric calculations. The Aquarius Numeric Processor (ANP) is an extended numeric Instruction Set Architecture (ISA) based on the Berkeley Programmed Logic Machine (PLM) to support integrated symbolic and numeric calculations. This extension expands the existing numeric data type to include 32- and 64-bit integers, single and double precision floating-point numbers conforming to the IEEE Standard P754. A new class of data structure, numeric arrays, is added to represent matrices and arrays found in most scientific programming languages. Powerful numeric instructions are included to manipulate the new data types. Dynamic Operand Coercion (DOC) provides dynamic type checking and coercing of operands. The ANP and PLM together provide for the efficient execution of symbolic and numeric operations written in AI languages such as Prolog and Lisp. Simulated performance results indicate the system will achieve about 10 MFLOPs on the Prolog version of some Whetstone and Linpack benchmarks and close to 20 MFLOPs on some matrix operations (all in double precision).}
}

EndNote citation:

%0 Report
%A Yung, Robert
%A Despain, Alvin M.
%A Paul, Yale N.
%T An Extended Prolog Architecture for Integrated Symbolic and Numerical Executions
%I EECS Department, University of California, Berkeley
%D 1988
%@ UCB/CSD-88-445
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1988/5510.html
%F Yung:CSD-88-445