CaltechAUTHORS
  A Caltech Library Service

A High Performance Implementation of Prolog

Newton, Michael O. (1987) A High Performance Implementation of Prolog. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1987.5234-tr-86

[img]
Preview
Postscript
See Usage Policy.

1497Kb
[img]
Preview
Other (Adobe PDF (1.5MB))
See Usage Policy.

1313Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1987.5234-tr-86

Abstract

We discuss an efficient implementation of the Warren Abstract Machine (WAM) [12] in detail. Special attention is given to data formats, memory layout, WAM optimizations and code generation techniques. A final section describes some hardware considerations for even higher performance execution. Currently the compiler produces code that runs at approximately 900,000 logical inferences per second (LIPS) on a single processor of an IBM 3090 using the naive reverse benchmark. Using several of the yet unimplemented optimizations, we expect this figure to top one million LIPS.


Item Type:Report or Paper (Technical Report)
Group:Computer Science Technical Reports
Record Number:CaltechCSTR:1987.5234-tr-86
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1987.5234-tr-86
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26676
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:24 Apr 2001
Last Modified:26 Dec 2012 14:01

Repository Staff Only: item control page