Architected Failure Handling for AND-Parallel Logic Programs
| 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.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.identifier.uri | https://hdl.handle.net/1794/28441 | |
| 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 |