Screamer
A platform independent LISP library that extends the language to support nondeterministic programming, but extensions include (an optional) constraint programming model, backtracking (both well known Prolog features), undoable side-effects,
Screamer+
Screamer+ is a small constraint solver add on to Screamer, although functional it has never really taken off as even though it is open source it has an explicit "do not redistribute without a written permission" clause which has meant it is fast disappearing off the net.
Versions
- Screamer
- Screamer+
- Screamer+ 2000-02-17 (Last known version)
Links
- Screamer+
- Copy of the original Screamer+ distribution site - Via Archive.org, has a large number of additional and test programs.
Publications
- Screamer
- Screaming Yellow Zonkers - In PDF format.
- Screamer+
- Simon White & D. Sleeman: Constraint Handling in Common LISP - 1998 - In PDF format - via Archive.org
Licence
- Screamer is open source software originally released under a proprietary licence, but reissued under the single clause BSD licence in the 1990's.
- Screamer+ is open source but cannot be redistributed and has a no commercial usage clause.
Authors
- Jeffrey Mark Siskind
- David Allen McAllester
- Simon White (Screamer+)