jan's home page logic programming previous next latest

Prolog in Javascript

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.

Enter your query: