15 citations · 34 across the 14 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 15 cited
Correctness and completeness of logic programs
Włodzimierz Drabent
We discuss proving correctness and completeness of definite clause logic programs. We propose a method for proving completeness, while for proving correctness we employ a method wh…
cs.LO2014
On completeness of logic programs
Wlodzimierz Drabent
Program correctness (in imperative and functional programming) splits in logic programming into correctness and completeness. Completeness means that a program produces all the ans…