Introduction to logic programming - 240289 Hogger, Christopher John (London : Academic Press, 1984)
57