Introduction to logic programming - Hogger, Christopher John (Academic Press, 1984)
xii, 280; 24 cm.