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