Από τη λογική στο λογικό προγραμματισμό και την Prolog - Μητακίδης, Γιώργος. (Καρδαμίτσα, 1992)