Essentials of logic programming /
Hogger, Christopher John.
Oxford : Clarendon,
1990.
Includes bibliography and index
Electronic digital computers