Common LISP Extension of

Nondeterministic LISP