Transforming general program proofs: a meta interpreter which expands negative literals
(1997)
Presentation / Conference
West, M., Bryant, C., & McCluskey, T. (1997, July). Transforming general program proofs: a meta interpreter which expands negative literals. Presented at 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium
This paper provides a method for generating a proof tree from an instance and a general logic program viz one which includes negative literals. The method differs from previous work in the field in that negative literals are first unfolded and then... Read More about Transforming general program proofs: a meta interpreter which expands negative literals.