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