VDict mobile



An extension of Common Lisp providing nondeterministic
backtracking and constraint programming.
.
[Isn't all backtracking nondeterministic by definition?]