Essentials of logic programming - Hogger, Christopher J. (Clarendon Press, 1990)