Από τη λογική στο λογικό προγραμματισμό και την Prolog

ISBN	Έκδοση	Σελίδες	Εκδότης	Έτος Τρέχ. Έκδοσης
960726259X	1η έκδ.	383	Καρδαμίτσα	1992