Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Engineering
Data Structure Implementation And Investigation For A Prolog Language Interpreter, Hector Iurcovich
Data Structure Implementation And Investigation For A Prolog Language Interpreter, Hector Iurcovich
Retrospective Theses and Dissertations
A developmental Prolog language interpreter is constructed in the C programming language. The data type format is a subset of that of the Project Aquarius Prolog Engine proposed and under development at the University of California, Berkley. The design of the Prolog interpreter is part of an investigation at UCF in design of expert system architecture for real time applications. The interpreter facilities of data structure definition and manipulation are developed and applied. The list data structure is used as an example data structure. The scheme for representing structured data is based on the Lisp cons cell. Run-time generated lists …
A Microsequenced Prolog Inference Engine, Jeffrey J. Ferguson
A Microsequenced Prolog Inference Engine, Jeffrey J. Ferguson
Retrospective Theses and Dissertations
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 …