Architected Failure Handling for AND-Parallel Logic Programs
Loading...
Date
1989-03-24
Authors
Meyer, David M.
Conery, John S.
Journal Title
Journal ISSN
Volume Title
Publisher
University of Oregon
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.
Description
14 pages
Keywords
nondeterministic computations, subgoals, chronological backtracking