Next: Original Publications , Up: (dir) Screamer provides a nondeterministic choice-point operator, a backtracking mechanism, and a forward propagation facility. Screamer was originally written by Jeffrey Mark Siskind and David Allen McAllester. The copy of Screamer this documentation refers to is maintained courtesy of Steel Bank Studio Ltd by Nikodemus Siivola . The Google Group http://groups.google.com/group/screamer/ exists for Screamer-related discussions. Screamer is maintained in Git: git clone git://github.com/nikodemus/screamer.git will get you a local copy. http://github.com/nikodemus/screamer is the GitHub project page. Introduction 1 Original Publications 2 Overview 2.1 Important Note on Packages 2.2 Choice-Points, Failure, and Backtracking 2.3 Generators 2.4 Side-Effects 2.5 Constraint Propagation 2.6 Current Limitations 2.6.1 Not Supported At All...