From <em>General Screamer Information</em>:

<blockquote>
It is an extension of _(Common Lisp) that adds support for nondeterministic programming. Screamer consists of two levels. The basic nondeterministic level adds support for backtracking and undoable side effects. On top of this nondeterministic substrate, Screamer provides a comprehensive *(constraints) *(programming language) in which one can formulate and solve mixed systems of numeric and symbolic constraints. Together, these two levels augment _(Common Lisp) with practically all of the functionality of both _(Prolog) and constraint logic programming languages such as CHiP and CLP(R). Furthermore, Screamer is fully integrated with _(Common Lisp). Screamer programs can coexist and interoperate with other extensions to _(Common Lisp) such as _(CLOS), _(CLIM) and Iterate. [..]
</blockquote>

<ul class="links">
  <li>_("General Screamer Information"|http://www.cis.upenn.edu/~screamer-tools/screamer-intro.html).</li>
</ul>

<ul class="implementations">
  <li>_("Home page"|http://www.ece.purdue.edu/~qobi/software.html).</li>
  <li>_("Jeffrey Mark Siskind"|http://www.ece.purdue.edu/~qobi/), one of its author's home page.</li>
  <li>_("Screamer Tool Repository"|http://www.cis.upenn.edu/~screamer-tools/home.html).</li>
</ul>

