"Reasoning with Logic Programming (Lecture Notes in Computer Science)" - читать интересную книгу автора (Jose Julio Alferes, Luis Moniz Pereira)