~?~

~?~

~?~

~?~

;;;; Example: "The Einstein's Riddle". ;;;; ;;;; There are five houses in a row, each of different color. ;;;; ;;;; Each has an owner of a different nationality. ;;;; ;;;; Each owner has a unique favorite drink, type of cigarette, and a pet. ;;;; ;;;; 1. The Brit lives in the red house ;;;; 2. The Swede keeps dogs as pets ;;;; 3. The Dane drinks tea ;;;; 4. The green house is on the left of the white house ;;;; 5. The green house's owner drinks coffee ;;;; 6. The person who smokes Pall Mall rears birds ;;;; 7. The owner of the yellow house smokes Dunhill ;;;; 8. The man living in the centre house drinks milk ;;;; 9. The Norwegian lives in the first house ;;;; 10. The person who smokes Marlboro lives next to the one who keeps cats ;;;; 11. The person who keeps horses lives next to the person who smokes Dunhill ;;;; 12. The person who smokes Winfield drinks beer ;;;; 13. The Germa...

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...

~?~

~?~