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