Prolog τεχνικές προγραμματισμού / Σ. Ξανθάκης