A parallel implementation of equational programming
Nachum Dershowitz, Naomi Lindenstrauss · 2002
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.>