Proving correctness and completeness of logic programs

[hurufu]

There is a recent video, on how to prove step-by-step correctness and completeness of a logic program. The discussion there is very basic for experts, but may have some value for others. It also provides systematic guidelines on how to construct a correct program from the specification.

Just leaving it here. Cheers.