jan's home page logic programming previous next latest
Version two includes the support (easily extensible, see the code for details) for simple builtins. As an example, we support compare/3; the first two arguments must be bound to Atoms. The third will unify with lt, eq, gt.
And to prove that it's up to it, the canonical quicksort implementation.