Modelling Logic Programming Using a Network of Communicating
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.
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.
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.
Cowling, and last updated on 13 October 2006