Computing Publications

Publications Home » Implementing Logical Variables an...

Implementing Logical Variables and Disjunctions in Graph Rewrite Systems

Peter McBrien

Book Chapter
Term Graph Rewriting: Theory and Practice
pp.333–346
June, 1993
John Wiley & Sons Inc
ISBN 978-0471935674
Abstract

Graph Rewriting Systems (GRS) have been widely studied and used as the implementation vehicle for functional programming languages, some example implementations of GRS being DACTL and the G-Machine. To date, the application of graph rewriting to the implementation of logic programming has met with somewhat less success, in part due to a concentration on the Prolog language which already has a successful implementation vehicle in the Warren Abstract Machine (usually referred to as the WAM). In this chapter the issues relating to the use of graph rewriting for implementing logic programming languages in the wider sense will be discussed.

BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.