Directory | Tags | Index | LinkIt | Submit   | Help
    Friday, 22 August 2014 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > By Topic > Artificial Intelligence

View the dependency graph for this library

Screamer
Created by amb on: Wed, 04 Jan 2006 10:47:25 GMT, Last modification: Thu, 04 Nov 2010 09:21:55 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.

eMailnikodemus@random-state.net
Web sitehttp://github.com/nikodemus/screamer#readme
Mailing list
Version3.20 - Wednesday, 04 January 2006
MaturityStable
OS compatibility
ASDF installableNo
Official Downloadhttp://github.com/nikodemus/screamer
Mirrored Download
Source code repository

Compatible Implementations

Generic ANSI Common Lisp | CMUCL | Allegro Common Lisp | LispWorks

Tags

Artificial Intelligence | MIT | Language Extensions | Libraries

1 Notes and 2 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


2 Comments

You must be logged to add a comment

MIT licence

Mr. Siskind kindly has given permission to distribute it under MIT license.
My current repository is at Github (http://github.com/nikodemus/screamer). Differences to 3.20 are so far limited to cleanups (support for Symbolics, AKCL, etc. has been stripped) and light modifications to make it run in an ANSI Common Lisp, plus some documentation strings copied over from screamer.ps.

Submitted by nikodemus 1424 days 20 hours 10 min ago

Trouble updating information

A better "homepage" the copy of Screamer I maintain is http://nikodemus.github.com/screamer/ but I can't seem to update this page.
SBCL should also be added to "Compatible Implementations", as it is the one I use to work on Screamer -- or the list should just be empty and have only "Generic ANSI Common Lisp".

Submitted by nikodemus 1386 days 22 hours 56 min ago