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