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