L-machine: A low-cost personal sequential inference machine

Vlahavas, J. ; Halatsis, Constantin (1989-05)


This paper presents the architecture of a new low-cost sequential inference machine, called the L-machine. The machine is part of the UTHL-Prolog system and is specialized in the execution of the so-called L-code into which Prolog programs are initially compiled. The L-machine is described at the ISP level together with the L-Kernel, the run-time Kernel operating system, that ensure compact L-code representation of Prolog programs and a cost/effective hardware implementation of the L-machine with a projected 50 KLIPS performance level.

Copyright © 1989 Published by Elsevier Inc
Except where otherwise noted, this item's license is described as Copyright © 1989 Published by Elsevier Inc