Jump to content

Screamer: Difference between revisions

From EDM2
← Older edit
No edit summary
Ak120 (talk | contribs)
35,819 edits
 
(7 intermediate revisions by 2 users not shown)
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, 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'''.
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'''.
The package languished from the point its original authors released their last version in 1993, but in 2010 a gent named Nikodemus Siivola started updating the package and got permission from the original authors to release the original package under a more liberal licence, development has remained slow, however.


===Screamer+===
===Screamer+===
Line 5: Line 7:


===Arno===
===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).
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 multi-paradigm programming language (now known as Mozart).


==Versions==
==Versions==
;Screamer
;Screamer
 
* Screamer 4.0.0 (2015-06-18)
* Screamer 3.9 (1993-07-23)
;Screamer+
;Screamer+
* Screamer+ 2000-02-17 (Last known version)
* Screamer+ 2000-02-17 (Last known version)


==Links==
==Links==
* [https://github.com/nikodemus/screamer Screamer on Github]  
* [https://github.com/nikodemus/screamer Screamer on Github]
* [https://groups.google.com/forum/#!forum/screamer Screamer discussion group on Google groups]
* [https://groups.google.com/forum/#!forum/screamer Screamer discussion group on Google groups]
* [http://mahmud.arablug.org/screamer-plus/screamer+.lisp Screamer+]
* [http://web.archive.org/web/20070619032619/http://www.csd.abdn.ac.uk/~tnordlan/PhD_Timetable/Programs/LISP/ Copy of the original Screamer+ distribution site] - Via [[Archive.org]], has a large number of additional and test programs.
* [http://web.archive.org/web/20070619032619/http://www.csd.abdn.ac.uk/~tnordlan/PhD_Timetable/Programs/LISP/ Copy of the original Screamer+ distribution site] - Via [[Archive.org]], has a large number of additional and test programs.
==Publications==
==Publications==
;Screamer
;Screamer
* 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: ''Screaming Yellow Zonkers'' - 1991
* 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: ''Screamer: A Portable Efficient Implementation of Nondeterministic Common LISP'' - 1993 [http://repository.upenn.edu/cgi/viewcontent.cgi?article=1011&context=ircs_reports PDF]
* 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
* Jeffrey Mark Siskind & David Allen McAllester: ''Nondeterministic Lisp as a Substrate for Constraint Logic Programming'' [https://pdfs.semanticscholar.org/fb45/b1fa293fbc477ade27697ad3589196d8254f.pdf PDF]
* Simon White: [https://web.archive.org/web/20041209220606/http://www.csd.abdn.ac.uk/~swhite/screamer.html Screamer presentation] - 1997 - via Archive.org
;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: ''Constraint Handling in Common LISP'' - 1998 [https://web.archive.org/web/20041204070707/http://www.csd.abdn.ac.uk/~swhite/tr9805/tr9805.pdf PDF]
* Simon White & D. Sleeman: ''Uses of a Grammar-Driven Case-Acquisition Tool'' - 2002 [https://web.archive.org/web/20050405210954/http://www.csd.abdn.ac.uk/publications/TR/2002/tr0202.pdf PDF]
* Simon White & D. Sleeman: [https://web.archive.org/web/20041212234435/http://www.csd.abdn.ac.uk/~swhite/etai-final/ A Constraint-Based Approach to the Description and Detection of Fitness-for-Purpose] - 2000 - Multiformat download
* Simon White: [https://web.archive.org/web/20041212195756/http://www.csd.abdn.ac.uk/~swhite/thesis/thesis.pdf Enhancing Knowledge Acquisition with Constraint Technology] - 2000
* Simon White & D. Sleeman: [https://web.archive.org/web/20041212185254/http://www.csd.abdn.ac.uk/~swhite/ekaw99/ekaw99.pdf A Constraint-Based Approach to the Description of Competence] - 1999
;Arno & related
;Arno & related
* 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://quod.lib.umich.edu/i/icmc/bbp2372.2000.114/1 Arno: Constraints Programming in Common Music] - 2000 - Multiformat download available.
* Torsten Anders: [ Composing Music by Composing Rules: Computer Aided Composition employing Constraint Logic Programming] -2003 - In PDF format
* Torsten Anders: Composing Music by Composing Rules: Computer Aided Composition employing Constraint Logic Programming] - 2003
* 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: A wizard’s aid: efficient music constraint programming with Oz - 2002
* 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: 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
* 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
* Torsten Anders & Eduardo Reck Miranda: [https://pdfs.semanticscholar.org/4e48/6d21688068f9eda5633e6d47c3835fe64437.pdf Higher-order Constraint applicators for Music Constraint Programming] - 2008 - Multiformat download
* Torsten Anders & Eduardo Reck Miranda: [https://pdfs.semanticscholar.org/4e48/6d21688068f9eda5633e6d47c3835fe64437.pdf Higher-order Constraint applicators for Music Constraint Programming] - 2008 - Multiformat download
==Licence==
==Licence==
* Screamer is open source software originally released under a proprietary licence, but reissued under the [[single clause BSD licence]] in the 1990's.
* Screamer is open source software originally released under a proprietary licence, but reissued under the [[single clause BSD licence]] in the 1990s.
* Screamer+ is open source but cannot be redistributed and has a [[no commercial usage clause]].
* Screamer+ is open source but cannot be redistributed and has a [[no commercial usage clause]].


==Authors==
==Authors==
* Jeffrey Mark Siskind
* Jeffrey Mark Siskind (Original author)
* David Allen McAllester
* David Allen McAllester (Original author)
* Nikodemus Siivola (Current maintainer)
* Simon White (Screamer+)
* Simon White (Screamer+)
* Torsten Anders (Arno)
* Torsten Anders (Arno)


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

Latest revision as of 14:59, 5 December 2022

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.

The package languished from the point its original authors released their last version in 1993, but in 2010 a gent named Nikodemus Siivola started updating the package and got permission from the original authors to release the original package under a more liberal licence, development has remained slow, however.

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 multi-paradigm programming language (now known as Mozart).

Versions

Screamer
  • Screamer 4.0.0 (2015-06-18)
  • Screamer 3.9 (1993-07-23)
Screamer+
  • Screamer+ 2000-02-17 (Last known version)

Links

Publications

Screamer
  • Jeffrey Mark Siskind: Screaming Yellow Zonkers - 1991
  • Jeffrey Mark Siskind & David Allen McAllester: Screamer: A Portable Efficient Implementation of Nondeterministic Common LISP - 1993 PDF
  • Jeffrey Mark Siskind & David Allen McAllester: Nondeterministic Lisp as a Substrate for Constraint Logic Programming PDF
  • Simon White: Screamer presentation - 1997 - via Archive.org
Screamer+
Arno & related

Licence

Authors

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