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?]
Try this search on Wikipedia, OneLook, Google
Nearby terms: Scratchpad I « Scratchpad II « scream and die « Screamer » screaming tty » screen » screen blanker
