1990 | OriginalPaper | Buchkapitel
An Abstract Prolog Machine
verfasst von : T. P. Dobry
Erschienen in: A High Performance Architecture for Prolog
Verlag: Springer US
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.