מיכאל קודיש

We describe the translation of a nontrivial program for solving equations from PROLOG to Concurrent PROLOG, and further to Flat Concurrent PROLOG. The translation from PROLOG to Concurrent PROLOG required understanding of the program but was straightforward. The translation from Concurrent PROLOG to Flat Concurrent PROLOG was more suitable to be the basis for automatic procedures. The different styles of translation used are illustrated with examples of code from the three programs. The gain in speed by performing computations in parallel is discussed.