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.
Library of Congress Subject Headings
Prolog (Computer program language); Parallel programming (Computer science); Occam (Computer program language)
Department, Program, or Center
Computer Science (GCCIS)
Motwani, Manjula, "An Occam2 implementation of Prolog" (1994). Thesis. Rochester Institute of Technology. Accessed from
RIT – Main Campus