A Generalization of the Lifting Lemma for Logic Programming

Etienne Payet, Fred Mesnard

Since the seminal work of J. A. Robinson on resolution, many lifting lemmas for simplifying proofs of completeness of resolution have been proposed in the literature. In the logic…