On completeness of logic programs

@inproceedings{Drabent2014OnCO,
  title={On completeness of logic programs},
  author={Wlodzimierz Drabent},
  booktitle={LOPSTR},
  year={2014}
}
Program correctness (in imperative and functional programming) splits in logic programming into correctness and completeness. Completeness means that a program produces all the answers required by its specification. Little work has been devoted to reasoning about completeness. This paper presents a few sufficient conditions for completeness of definite programs. We also study preserving completeness under some cases of pruning of SLD-trees (e.g. due to using the cut). We treat logic programming… CONTINUE READING