dc.contributor.author |
Meyer, David M. |
|
dc.contributor.author |
Conery, John S. |
|
dc.date.accessioned |
2023-06-26T18:05:47Z |
|
dc.date.available |
2023-06-26T18:05:47Z |
|
dc.date.issued |
1989-03-24 |
|
dc.identifier.uri |
https://scholarsbank.uoregon.edu/xmlui/handle/1794/28441 |
|
dc.description |
14 pages |
en_US |
dc.description.abstract |
In this paper, we present an architected approach to failure handling for independent
AND parallel logic programs. That is, the architecture presented here
represents its failure handling algorithm as a sequence of simple abstract machine instructions,
rather than as a built-in function. Information about data dependencies
is used by a compiler to generate special purpose fail routines on a clause-by-clause
basis. We also present two simple optimizations that further specialize the handling
of failures for each clause. |
en_US |
dc.language.iso |
en |
en_US |
dc.publisher |
University of Oregon |
en_US |
dc.rights |
Creative Commons BY-NC-ND 4.0-US |
en_US |
dc.subject |
nondeterministic computations |
en_US |
dc.subject |
subgoals |
en_US |
dc.subject |
chronological backtracking |
en_US |
dc.title |
Architected Failure Handling for AND-Parallel Logic Programs |
en_US |
dc.type |
Article |
en_US |