A parallel implementation of equational programming

A parallel implementation of rewriting and narrowing is described. The implementation is written in Flat Concurrent Prolog (FCP) but may be coded in any system in which processes are capable of creating other processes and communicating with each other. The Towers of Hanoi problem, parallel merging, and evaluating algebraic expressions are treated as examples of rewriting. Running programs under the interpreter and using facilities provided by the FCP system has provided empirical evidence of parallel speedup in support of theoretical predictions.<<ETX>>

[1]  Nachum Dershowitz,et al.  An Implementation of Narrowing , 1989, J. Log. Program..

[2]  Philippe Flajolet,et al.  The Average Height of Binary Trees and Other Simple Trees , 1982, J. Comput. Syst. Sci..

[3]  Nachum Dershowitz,et al.  Solving Goals in Equational Languages , 1988, CTRS.

[4]  José Meseguer,et al.  Equality, Types, Modules, and (Why not ?) Generics for Logic Programming , 1984, J. Log. Program..

[5]  Laurent Fribourg,et al.  SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting , 1985, SLP.

[6]  Nachum Dershowitz,et al.  An Abstract Concurrent Machine for Rewriting , 1990, ALP.

[7]  Jean-Pierre Jouannaud,et al.  Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[8]  José Meseguer,et al.  Concurrent term rewriting as a model of computation , 1986, Graph Reduction.

[9]  Michael J. O'Donnell,et al.  Equational Logic as a Programming Language , 1985, Logic of Programs.

[10]  Naomi Lindenstrauss.  A Parallel Implementation of Rewriting and Narrowing , 1989, RTA.

[11]  Ehud Shapiro.  Concurrent Prolog: A Progress Report , 1986, Computer.

[12]  Pierre Réty.  Improving Basic Narrowing Techniques , 1987, RTA.

[13]  Ehud Shapiro,et al.  Or-Parallel Prolog in Flat Concurrent Prolog , 1988, J. Log. Program..

[14]  Jean-Marie Hullot,et al.  Canonical Forms and Unification , 1980, CADE.

[15]  Ehud Shapiro,et al.  Concurrent Prolog: A Progress Report , 1985, Computer.

[16]  Ehud Shapiro,et al.  The Logix system user manual version 1.21 , 1988 .

[17]  Nachum Dershowitz,et al.  Equational programming , 1988 .