Από τη λογική στο λογικό προγραμματισμό και την Prolog - Μητακίδης, Γιώργος.; Συναχοπούλου-Σβάρνα, Α. (Αθήνα : Καρδαμίτσα, 1992)
Περιέχει βιβλιογραφία και ευρετήριο.
Keywords: Λογική, Συμβολική και μαθηματική.; Γλώσσα προγραμματισμού Prolog; Λογική.