Jump to content

Screamer: Difference between revisions

From EDM2
Newer edit →
Created page with "A platform independent LISP library that extends the language to support nondeterministic programming, but extensions include (an optional) constraint programming model, b..."
 
No edit summary
Line 1: Line 1:
A platform independent [[LISP]] library that extends the language to support nondeterministic programming, but extensions include (an optional) constraint programming model, backtracking (both well known [[Prolog]] features), undoable side-effects,
A platform independent [[LISP]] library that extends the language to support nondeterministic programming, but extensions include (an optional) constraint programming model, backtracking (both well known [[Prolog]] features), undoable side-effects, binding propagation, boolean constraint propagation, generalized forward checking, propagation of bounds, and unification. The system is complete enough to many users treating it as a separate variant of LISP under the name '''Nondeterministic Lisp'''.


===Screamer+===
===Screamer+===
Screamer+ is a small constraint solver add on to Screamer, although functional it has never really taken off as even though it is open source it has an explicit "do not redistribute without a written permission" clause which has meant it is fast disappearing off the net.
Screamer+ is a small constraint solver add on to Screamer, although functional it has never really taken off as even though it is open source it has an explicit "do not redistribute without a written permission" clause alongside a non functioning e-mail address which has meant it is fast disappearing off the net.
 
===Arno===
Torsten Anders created a nondeterministic programming extension to [[Common Music]] called '''Arno''' (presumably named after Arno Babajanian) that is based on the Screamer package, since Arno does not seem to be downloadable and as Common Music no longer has a living OS/2 port this is all academic anyway. Anders later moved his attention from LISP the OZ multiparadigm programming language (now known as Mozart).


==Versions==
==Versions==
Line 17: Line 20:
==Publications==
==Publications==
;Screamer
;Screamer
* [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.31.1165&rep=rep1&type=pdf Screaming Yellow Zonkers] - In PDF format.
* Jeffrey Mark Siskind: [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.31.1165&rep=rep1&type=pdf Screaming Yellow Zonkers] - 1991 - In PDF format.
* Jeffrey Mark Siskind & David Allen McAllester: [http://repository.upenn.edu/cgi/viewcontent.cgi?article=1011&context=ircs_reports Screamer: A Portable Efficient Implementation of Nondeterministic Common LISP] - 1993 - In PDF format.
* Jeffrey Mark Siskind & David Allen McAllester: [https://pdfs.semanticscholar.org/fb45/b1fa293fbc477ade27697ad3589196d8254f.pdf Nondeterministic Lisp as a Substrate for Constraint Logic Programming] - In PDF format
;Screamer+
;Screamer+
* Simon White & D. Sleeman: [https://web.archive.org/web/20041204070707/http://www.csd.abdn.ac.uk/~swhite/tr9805/tr9805.pdf Constraint Handling in Common LISP] - 1998 - In [[PDF]] format - via Archive.org
* Simon White & D. Sleeman: [https://web.archive.org/web/20041204070707/http://www.csd.abdn.ac.uk/~swhite/tr9805/tr9805.pdf Constraint Handling in Common LISP] - 1998 - In [[PDF]] format - via Archive.org
;Arno
* Torsten Anders: [http://quod.lib.umich.edu/i/icmc/bbp2372.2000.114/1 Arno: Constraints Programming in Common Music] - 2000 - Multiformat download available.
* Torsten Anders: [http://cmr.soc.plymouth.ac.uk/tanders/publications/torstenanders-icmc2002.pdf A wizard’s aid: efficient music constraint programming with Oz] - 2002 - In PDF format
* Torsten Anders & Eduardo Reck Miranda: Constraint Application with Higher-Order Programming for Modeling Music Theories - Computer Music Journal Vol. 34, No. 2 (Summer 2010), pp. 25-38.
* Torsten Anders & Eduardo Reck Miranda: [https://www.semanticscholar.org/paper/Constraint-programming-systems-for-modeling-music-Anders-Miranda/7d0e783e5bb1c35a871a45e72fddaf7bf3db5d28 Constraint programming systems for modeling music theories and composition] - 2011 - Multiformat download


==Licence==
==Licence==
Line 29: Line 39:
* David Allen McAllester
* David Allen McAllester
* Simon White (Screamer+)
* Simon White (Screamer+)
* Torsten Anders (Arno)


[[Category:LISP]]
[[Category:LISP]]

Revision as of 00:18, 28 March 2016

A platform independent LISP library that extends the language to support nondeterministic programming, but extensions include (an optional) constraint programming model, backtracking (both well known Prolog features), undoable side-effects, binding propagation, boolean constraint propagation, generalized forward checking, propagation of bounds, and unification. The system is complete enough to many users treating it as a separate variant of LISP under the name Nondeterministic Lisp.

Screamer+

Screamer+ is a small constraint solver add on to Screamer, although functional it has never really taken off as even though it is open source it has an explicit "do not redistribute without a written permission" clause alongside a non functioning e-mail address which has meant it is fast disappearing off the net.

Arno

Torsten Anders created a nondeterministic programming extension to Common Music called Arno (presumably named after Arno Babajanian) that is based on the Screamer package, since Arno does not seem to be downloadable and as Common Music no longer has a living OS/2 port this is all academic anyway. Anders later moved his attention from LISP the OZ multiparadigm programming language (now known as Mozart).

Versions

Screamer
Screamer+
  • Screamer+ 2000-02-17 (Last known version)

Links

Publications

Screamer
Screamer+
Arno

Licence

Authors

  • Jeffrey Mark Siskind
  • David Allen McAllester
  • Simon White (Screamer+)
  • Torsten Anders (Arno)
Retrieved from "https://www.edm2.com/index.php?title=Screamer&oldid=25373"