Next:
Programming in Pure Prolog
Programming in Pure Prolog
Pure Prolog
Prolog execution
Running Prolog programs
Tracing
Rule order
Rule order in append
Termination
Goal order
Permutation sort
Insertion sort
Quicksort
Correspondence to conventional programming languages
Goal order
Redundant solutions
Unify
Alternation
About this document ...
Alan Bond
1999-02-08
