Hogger, Christopher John Essentials of Logic programming - Nairobi Claredon Press 1990 - 299p. ISBN: 0-19-85832-4 LC Class. No.: QA 76.63 / H63 1990