1990 | OriginalPaper | Chapter
An Abstract Prolog Machine
Author : T. P. Dobry
Published in: A High Performance Architecture for Prolog
Publisher: Springer US
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In 1977 David Warren described an instruction set and execution model for compiled Prolog [63]. This design was later modified and provided as an abstract machine specification which has become know as the Warren Abstract Machine (WAM) [57, 64]. The architecture described in this book extends the WAM and provides a description of the resulting machine and its implementation in hardware.