Στο βιβλίο "Prolog: Προγραμματισμός σε Λογική για Τεχνητή Νοημοσύνη" μας αναλύει μια συμβολική γλώσσα προγραμματισμού με απλή σύνταξη αλλά προγραμματιστικά ισχυρή, ιδιαίτερα για ανάπτυξη εφαρμογών Τεχνητής Νοημοσύνης και όχι μόνο. Αυτό το βιβλίο αρχικά παρουσιάζει τη γλώσσα Prolog. Έχει σαν στόχο ο αναγνώστης να κατανοήσει τα χαρακτηριστικά της γλώσσας, τα οποία την κάνουν να υπερτερεί από τις συμβατικές γλώσσες προγραμματισμού για ανάπτυξη εφαρμογών Τεχνητής Νοημοσύνης. Στη συνέχεια παρουσιάζονται προγραμματιστικές τεχνικές και εφαρμογές της Prolog οε περιοχές της Τεχνητής Νοημοσύνης. Αυτά το βιβλίο απευθύνεται σε διδάσκοντες και φοιτητές Ανώτατων Εκπαιδευτικών Ιδρυμάτων (ΑΕΙ) καθώς και σε Μηχανικούς Λογισμικού που ασχολούνται με την ανάπτυξη εφαρμογών Τεχνητής Νοημοσύνης σε συμβολικό προγραμματισμό. Τα θέματα που περιλαμβάνει το βιβλίο είναι τα εξής:
- Τα Βασικά Μέρη ενός Προγράμματος Prolog.
- Αναδρομή, Λίστες και Αριθμητική σε Prolog.
- Δέντρο Έρευνας και Οπισθοδρόμηση.
- Έλεγχος Ροής σε Προγράμματα Prolog.
- Τελεστές Οριζόμενοι από τον Χρήστη.
- Προδεδηλωμένα Κατηγορήματα.
- Προγραμματιστικές Τεχνικές.
- Μετα-προγραμματισμός.
- Έρευνα σε Χώρο Καταστάσεων.
- Συστήματα Γνώσης.
- Επεξεργαοία Φυσικής Γλώσσας.