A Microsequenced Prolog Inference Engine
Saved in:
| Title: | A Microsequenced Prolog Inference Engine |
|---|---|
| Authors: | Ferguson, Jeffrey J. |
| Committee Members: | Petrasko, Brian E.; Brian E. Petrasko (Q59526279)University of Central Florida. College of Engineering [VIAF]University of Central Florida. College of Engineering [LC] |
| Summary: | 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. |
| URL: | https://stars.library.ucf.edu/rtd/4906 |
| Database: | OpenDissertations |
| Abstract: | 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. |
|---|
