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
|