(Enter summary)
Abstract: Nondeterministic Lisp is a variant of Lisp with a nondeterministic choice operator. This manual
describes an efficient implementation of nondeterministic Lisp called Screamer. Screamer is
implemented as a fully portable macro package built on top of Common Lisp. Screamer functions
inter-operate in the same environment as ordinary Lisp functions and a large subset of Common Lisp
is available when writing Screamer functions. In addition to the nondeterministic choice operator,
Screamer provides ... (Update)
Context of citations to this paper: More
...by SCREAMER, and table 2 summarises the additional primitives provided by SCREAMER . The primitives of SCREAMER are documented in (Siskind, 1991); those of SCREAMER are described in the following section of this document. We believe that SCREAMER is difficult for seasoned LISP...
Cited by: More
Constraint Handling in Common LISP - White, Sleeman (1998)
(Correct)
Active bibliography (related documents): More All
3.6: Screaming Yellow Zonkers - Siskind (1991)
(Correct)
1.7: Screamer: A Portable Efficient Implementation of.. - Siskind, McAllester (1993)
(Correct)
0.5: Language Extensibility via First-class Interpreters and.. - Espinosa (1993)
(Correct)
Similar documents based on text: More All
0.6: Nondeterministic Lisp as a Substrate for Constraint Logic.. - Siskind, McAllester (1993)
(Correct)
0.6: Logistica-Cfp: An Implementation Of Constraint Functional.. - Leasure (1995)
(Correct)
0.3: Methods for Parallelizing Search Paths in Parsing - de Marcken (1994)
(Correct)
BibTeX entry: (Update)
SISKIND, J. M., (1991), "Screaming Yellow Zonkers", Draft Technical Report of 29th September 1991, supplied with the SCREAMER code distribution 3.20 at http:// linc.cis.upenn.edu/~screamer-tools/home.html. http://citeseer.ist.psu.edu/article/siskind91screaming.html More
@misc{ siskind91screaming,
author = "J. SISKIND",
title = "Screaming Yellow Zonkers",
text = "SISKIND, J. M., (1991), Screaming Yellow Zonkers, Draft Technical Report
of 29th September 1991, supplied with the SCREAMER code distribution 3.20
at http:// linc.cis.upenn.edu/~screamer-tools/home.html.",
year = "1991",
url = "citeseer.ist.psu.edu/article/siskind91screaming.html" }
Citations (may not include all citations):
380
Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
95
A basis for a mathematical theory of computation
- McCarthy - 1963
66
Methodology and implementation of a clp system (context) - Jaffar, Michaylov - 1987
64
Sketchpad: A Man-Machine Graphical Communication System (context) - Southerland - 1963
38
and some electrical engineering problems (context) - Heintze, Michaylov et al. - 1987
21
Journal of Logic Programming (context) - Haynes - 1987
20
Nondeterministic call by need is neither lazy nor by name (context) - Clinger - 1982
14
The Definition and Implementation of a Computer Programming .. (context) - Steele - 1980
12
Carnegie-Mellon University (context) - Gosling, PhD - 1983
11
How to implement Prolog on a Lisp machine (context) - Kahn, Carlsson - 1984
7
Constraints---a language for expressing almosthierarchical d.. (context) - Sussman, Steele - 1980
6
represented as Jackendoff-style conceptual structures (context) - Siskind, meanings et al. - 1990
6
Dependency-directed backtracking in non-deterministic Lisp (context) - Zabih, McAllester et al. - 1988
6
Dependency-directed backtracking in non-deterministic Scheme (context) - Zabih - 1987
5
Using a logic grammar to learn a lexicon (context) - Rayner, Hugosson et al. - 1988
5
Dispelling myths about language bootstrapping (context) - Siskind - 1991
5
Unpublished manuscript received directly from author (context) - McAllester
5
Unpublished manuscript received directly from author (context) - Chapman
5
Non-deterministic Lisp with dependency-directed backtracking (context) - Zabih, McAllester et al. - 1987
4
Also available as Stanford Computer Science Department repor.. (context) - Borning, Simulation et al. - 1979
4
The culprit pointer method for selective backtracking (context) - Siskind - 1989
3
Artificial Inteligence Laboratory Technical Report (context) - Chapman, conjunctive et al. - 1985
Documents on the same site (http://www.mit.edu/afs/sipb.mit.edu/project/clisp/source/screamer/):
Screamer: A Portable Efficient Implementation of.. - Siskind, McAllester (1993)
(Correct)
Nondeterministic Lisp as a Substrate for Constraint Logic.. - Siskind, McAllester (1993)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC