This report documents the implementation of a high performance Prolog system achieved by remicroprogramming a host general purpose computer. New microcode was added to a VAX 8600 computer to implement the Berkeley Programmed Logic Machine (PLM), a Prolog-specific architecture closely related to the Warren Abstract Machine. The mapping of the abstract resources of the PLM to the 8600 is described. Performance comparisons between this system and three other Prolog implementations are included. On average, this system performs three times better than compiled and twenty times better than interpreted systems available on the same hardware. In addition, this execution model provides 75% of the performance of the special purpose PLM coprocessor, after results are normalized to the cycle time of each machine.
BibTeX citation:
@techreport{Gee:CSD-88-399,
Author= {Gee, Jeff},
Title= {Implementing Prolog via Microprogramming a General Purpose Host Computer},
Year= {1988},
Month= {Dec},
Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/5870.html},
Number= {UCB/CSD-88-399},
Abstract= {This report documents the implementation of a high performance Prolog system achieved by remicroprogramming a host general purpose computer. New microcode was added to a VAX 8600 computer to implement the Berkeley Programmed Logic Machine (PLM), a Prolog-specific architecture closely related to the Warren Abstract Machine. The mapping of the abstract resources of the PLM to the 8600 is described. Performance comparisons between this system and three other Prolog implementations are included. On average, this system performs three times better than compiled and twenty times better than interpreted systems available on the same hardware. In addition, this execution model provides 75% of the performance of the special purpose PLM coprocessor, after results are normalized to the cycle time of each machine.},
}
EndNote citation:
%0 Report %A Gee, Jeff %T Implementing Prolog via Microprogramming a General Purpose Host Computer %I EECS Department, University of California, Berkeley %D 1988 %@ UCB/CSD-88-399 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/5870.html %F Gee:CSD-88-399
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4