Logic programming - Gabbay, Dov M; Hogger, C. J; Robinson, J. A (Handbooks of logic in computer science and artificial intelligence and logic programming, 1998)