"A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP (Lecture Notes in Computer Science 6125)" - читать интересную книгу автора (Agostino Dovier, Enrico Pontelli)