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 amultiprocessor. 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
Publication Year: 1994
Publication Date: 1994-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot