next up previous contents
Next: Prolog and Functional Up: Prolog and Logic Previous: Prolog and Parallelism

Prolog and Execution Strategies

John Lloyd and others have produced MU- Prolog at the University of Melbourne in an attempt, inter alia, to replace the standard Prolog left-right execution strategy for subgoals with a strategy which can reorder the execution sequence depending on which subgoals have enough information to proceed with their execution. Their new implementation is called NU- Prolog.

Paul Brna
Mon May 24 20:14:48 BST 1999