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