Screamer: A Portable Efficient Implementation of Nondeterministic Common LISP

dc.contributor.authorSiskind, Jeffrey Mark
dc.contributor.authorMcAllester, David Allen
dc.date2023-05-16T23:42:20.000
dc.date.accessioned2023-05-22T19:57:40Z
dc.date.available2023-05-22T19:57:40Z
dc.date.issued1993-07-01
dc.date.submitted2006-08-02T07:57:53-07:00
dc.description.abstractNondeterministic 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 efficient 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.
dc.description.commentsUniversity of Pennsylvania Institute for Research in Cognitive Science Technical Report No. IRCS-93-03.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/37553
dc.legacy.articleid1011
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1011&context=ircs_reports&unstamped=1
dc.source.issue14
dc.source.journalIRCS Technical Reports Series
dc.source.statuspublished
dc.titleScreamer: A Portable Efficient Implementation of Nondeterministic Common LISP
dc.typeReport
digcom.contributor.authorSiskind, Jeffrey Mark
digcom.contributor.authorMcAllester, David Allen
digcom.identifierircs_reports/14
digcom.identifier.contextkey188851
digcom.identifier.submissionpathircs_reports/14
digcom.typereport
dspace.entity.typePublication
upenn.schoolDepartmentCenterIRCS Technical Reports Series
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
93_03.pdf
Size:
184.61 KB
Format:
Adobe Portable Document Format
Collection