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.