High Performance Numerical Calculation in Prolog Execution

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).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 04, 1988
Accession Number
ADA619777

Entities

People

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

Organizations

  • University of California, Berkeley

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Computing System Architectures
  • Engineering
  • Failure Mode And Effect Analysis
  • Floating Point Operations
  • Instruction Set Architecture
  • Instructions
  • Iterations
  • Language
  • Notation
  • Precision
  • Simulations

Readers

  • Computational Linguistics
  • Fluid Dynamics.
  • Parallel and Distributed Computing.