An Occam2 implementation of Prolog

Show full item record

Redirect: RIT Scholars content from RIT Digital Media Library has moved from to RIT Scholar Works, please update your feeds & links!
Title: An Occam2 implementation of Prolog
Author: Motwani, Manjula
Abstract: Prolog has been widely recognized as a powerful programming language for artificial intelligence. It was also chosen as a kernel language for the Japanese Fifth Generation Project. The project is a large scale effort to initiate a new generation of computing. Due to the wide range of applications that Prolog has, many methods have been developed for extracting parallelism from standard Prolog in order to achieve faster execution on a multiprocessor. This project designs an execution model for Prolog, which attempts to exploit the parallelism mainly at the argument level through the unification operation. The model consisting of a number of virtual machine instructions, has been implemented in Occam2 on a Transputer Development System. A few Prolog procedures have been hand compiled to the virtual machine instructions, and have been run on a Transputer Development System with a single transputer. This model of virtual machine instructions can be applied to a multiple transputer system. This project gives the details of the implementation of the virtual machine instructions.
Record URI:
Date: 1994

Files in this item

Files Size Format View Description
MMotwaniThesis01-1994.pdf 2.714Mb PDF View/Open Thesis

The following license files are associated with this item:

This item appears in the following Collection(s)

Show full item record

Search RIT DML

Advanced Search