An introduction to logic programming through Prolog - Spivey, J. M. (London Prentice Hall, 1996)
Keywords: Logic programming; Prolog (Computer programme language)