R. Bagai (USA)
Logic programs, Negative inferences, SLD-derivations.
We present a method for detecting some infinite SLD derivations starting from ground atoms that are not posi tive consequences of an underlying definite logic program. While maintaining soundness with respect to the Closed World Assumption, our method can be used to conclude more negative facts from the program than by the well known Negation as Failure rule. We also provide an elab orate sketch of a proof that our method is in fact complete with respect to the more general Herbrand Rule.
Important Links:
Go Back
