2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2016★ 2 cited
Proving completeness of logic programs with the cut
Włodzimierz Drabent
Completeness of a logic program means that the program produces all the answers required by its specification. The cut is an important construct of programming language Prolog. It…
cs.LO2010
A Simple Correctness Proof for Magic Transformation
Wlodzimierz Drabent
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The c…