Modelling Logic Programming Using a Network of Communicating Machines

Authors:  P. R. Bird and A. J. Cowling.
Published in:  Proceedings of the 2nd Euromicro Workshop on Parallel and Distributed Processing, pages 156 - 161.  This workshop was held in Malaga on 26th to 28th January 1994.

Abstract

As part of a larger project concerned with the unification of programming paradigms, this paper describes the development of a model of computation for the relational paradigm, as represented by Prolog. The model is based on extended finite-state machines which are formed into a parallel network of communicating machines. Three main machine types have been identified, to correspond to different control aspects within Prolog, and the different versions of these are described.

Full Text

This is available from the IEEE Xplore archive, for those who have a subscription to this archive.


Return to the CSXMS papers page.
Go to the main CSXMS page.


This page created by A. J. Cowling, and last updated on 13 October 2006