Published January 1, 1987
| public
Technical Report
Open
A High Performance Implementation of Prolog
- Creators
- Newton, Michael O.
Chicago
An error occurred while generating the citation.
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.
Files
postscript.pdf
Files
(2.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:809c9556035a2742101cab8d9ff76d9e
|
1.3 MB | Preview Download |
|
md5:6a2c68c0d7f72fa8e2ae87c9cb18c326
|
1.5 MB | Download |
Additional details
- Eprint ID
- 26676
- Resolver ID
- CaltechCSTR:1987.5234-tr-86
- Created
-
2001-04-24Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports