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