Prolog is a symbolic logic language presently emerging among numerous expert system designs. The architecture for a microsequenced Prolog machine (UPM) capable of providing the basic language features to a host computer is proposed. The Prolog machine functions are portioned into three processor components – Input/Output, Memory, and Central (CPU), where the design of the Central Processor is emphasized. Detailed discussion outlines the CPU facilities used to implement the forward-chaining and backtracking functions for the UPM. The UPM features are compared to the PLM-1, a microsequenced Prolog inference engine under development at University of California, Berkley. An emulation of the entire algorithm is provided, as well as a proposed microengine and associated microstore.
Identifer | oai:union.ndltd.org:ucf.edu/oai:stars.library.ucf.edu:rtd-5905 |
Date | 01 January 1986 |
Creators | Ferguson, Jeffrey J. |
Publisher | University of Central Florida |
Source Sets | University of Central Florida |
Language | English |
Detected Language | English |
Type | text |
Format | application/pdf |
Source | Retrospective Theses and Dissertations |
Rights | Public Domain |
Page generated in 0.0017 seconds