Keywords

Prolog (Computer program language), Microsequenced Prolog machine (UPM), CPU microarchitecture for inference, Forward-chaining and backtracking implementation, Microengine and microstore design, PLM-1 comparison

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.

Notes

If this is your thesis or dissertation, and want to learn how to access it or for more information about readership statistics, contact us at STARS@ucf.edu

Graduation Date

1986

Semester

Summer

Advisor

Petrasko, Brian E.

Degree

Master of Science (M.S.)

College

College of Engineering

Department

Electrical Engineering and Communication Sciences

Format

PDF

Pages

48 pages

Language

English

Rights

Public Domain

Length of Campus-only Access

None

Access Status

Masters Thesis (Open Access)

Identifier

DP0019515

Subjects

Prolog (Computer program language); Logic programming languages; Microprogramming; Microprocessors--Design; Microprocessors--Programming

Accessibility Status

Searchable text

Download

Share

COinS