Meyer, David M.Conery, John S.2023-06-262023-06-261989-03-24https://hdl.handle.net/1794/2844114 pagesIn 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.enCreative Commons BY-NC-ND 4.0-USnondeterministic computationssubgoalschronological backtrackingArticle