Steel Bank Common Lisp, aka SBCL, is an open source compiler and runtime system for ANSI Common Lisp. It provides an interactive environment including an integrated native compiler, a debugger, and many extensions.
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.
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy