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]](http://authors.library.caltech.edu/style/images/fileicons/application_postscript.png)
|
Postscript
See Usage Policy. 1497Kb | |
![[img]](http://authors.library.caltech.edu/style/images/fileicons/other.png)
|
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
