Prolog : τεχνικές προγραμματισμού - Ξανθάκης, Σπύρος. (Νέες Τεχνολογίες, 1990)