Login/Register to vote and to have access to more featuresYou are here: Root > By Topic > Language Extensions
View the dependency graph for this libraryScreamer
Created by amb on: Wed, 04 Jan 2006 10:47:25 GMT, Last modification: Wed, 10 Dec 2008 15:46:17 GMT
Screamer 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 constraint 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.
| screamer-repository@cis.upenn.edu | |
| Web site | http://www.cis.upenn.edu/~screamer-tools/home.html |
| Mailing list | |
| Version | 3.20 - Wednesday, 04 January 2006 |
| Maturity | Stable |
| OS compatibility | |
| ASDF installable | No |
| Official Download | ftp://ftp.cis.upenn.edu/pub/screamer.tar.Z |
| Mirrored Download | |
| Source code repository |
Compatible Implementations
CMUCL | Allegro Common Lisp | LispWorks
Tags
Language Extensions | Artificial Intelligence | Libraries
1 Notes and 0 comments
1 Notes
You must be logged to add a note
Other source
There seems to be a newer source in git source control, available at: http://repo.or.cz/w/screamer.git
Submitted by bobbysmith007 10/12/2008 15:46:17
0 Comments
You must be logged to add a comment