Screamer

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