"From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions" - читать интересную книгу автора (Snyers, Thayse.)