"Handbook of Logic in Artificial Intelligence and Logic Programming: Logic Programming" - читать интересную книгу автора (Dov M. Gabbay, C. J. Hogger, J. A. Robinson)