An Introduction To Logic Programming Through Prolog Micahel Spivey - Spivey, Michael (Prentice-Hall, 1996)