Văn bản này: An Introduction To Logic Programming Through Prolog Micahel Spivey