Screamer: a Portable Eecient Implementation of Nondeterministic Common Lisp

@inproceedings{Siskind1993ScreamerAP,
  title={Screamer: a Portable Eecient Implementation of Nondeterministic Common Lisp},
  author={Mark Siskind},
  year={1993}
}
Nondeterministic Lisp is a simple extension of Lisp which provides automatic backtracking. Nondeterminism allows concise description of many search tasks which form the basis of much AI research. This paper discusses Screamer, an eecient implementation of nondeterministic Lisp as a fully portable extension of Common Lisp. In this paper we present the basic nondeterministic Lisp constructs, motivate the utility of the language via numerous short examples, and discuss the compilation techniques. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 10 references

The culprit pointer method for selective backtracking

  • Je rey Mark Siskind.
  • 1989

Unique features of Lisp machine Prolog

  • Kenneth M. Kahn.
  • 1983

Rabbit : A compiler for Scheme

  • Guy Lewis Steele
  • 1978
1 Excerpt

Gerald Jay Sussman . Lambda , the ultimate imperative

  • D. Ramin

Lambda , the ultimate declarative

  • Guy Lewis Steele
  • A . I . Memo

Zabih . Dependencydirected backtracking in non - deterministic Scheme

  • Ramin D. Zabih, David Allen McAllester, David Chapman

Similar Papers

Loading similar papers…