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?]

Nearby terms:
Scratchpad I « Scratchpad II « scream and die « Screamer » screaming tty » screen » screen blanker