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