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