Screamer

An extension of Common Lisp providing nondeterministic backtracking and constraint programming.

ftp://ftp.ai.mit.edu/pub/screamer.tar.Z.

[Isn't all backtracking nondeterministic by definition?]