An Introduction to Logic programming throuhg Prolog#Michael Spivey - SPIVEY, Michael (Prentice Hall)