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