Văn bản này: An introduction to logic programming through Prolog / Michael Spivey.