Screamer provides a nondeterministic choice-point operator, a backtracking mechanism, and a forward propagation facility for Common Lisp.
Screamer was originally written by Jeffrey Mark Siskind and David Allen McAllester.
No tags have been added
These details are provided for information only. No information here is legal advice and should not be used as such.