"Computational Logic, Logic Programming and Beyond" - читать интересную книгу автора (A.C. Kakas, F. Sadri)