"Handbook of logic in artificial intelligence and logic programming/ 5, Logic programming" - читать интересную книгу автора (Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) )