TL McCluskey
YOU?
Author Swipe
View article: Transforming general program proofs: a meta interpreter which expands negative literals
Transforming general program proofs: a meta interpreter which expands negative literals Open
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 di ers from previous work in the eld in that negative literals are rst unfolded an…