Η Prolog είναι μια δηλωτική, συμβολική γλώσσα προγραμματισμού με απλή σύνταξη, προγραμματιστικά ισχυρή για ανάπτυξη εφαρμογών και ιδιαίτερα εφαρμογών Τεχνητή Νοημοσύνη.
Αυτό το βιβλίο έχει ως στόχο ο αναγνώστης του να κατανοήσει τα χαρακτηριστικά της γλώσσας, τα οποία την κάνουν ένα ισχυρό προγραμματιστικό εργαλείο.
Να κατανοήσει τη χρήση της ως κύριο προγραμματιστικό εργαλείο σε Τεχνητή Νοημοσύνη. Να κατανοήσει ότι η Prolog εκτός από γλώσσα προγραμματισμού είναι ένα ευφυές σύστημα. Αυτό επιτυγχάνεται αναλύοντας τη σχέση της γλώσσας με τη λογική και αναδείχνοντας το μηχανισμό συλλογιστικής της. Να διευρύνει τις προγραμματιστικές δυνατότητες του προγραμματιστή ώστε η ανάπτυξη διαδικτυακών εφαρμογών σε Prolog να είναι ένα απλό έργο χωρίς την εμπλοκή πολλών, διαφορετικών και σύνθετων τεχνολογιών.

Αρχικά παρουσιάζονται τα ιδιαίτερα προγραμματιστικά χαρακτηριστικά της γλωσσας. Στη συνέχεια παρουσιάζονται προγραμματιστικές τεχνικές και εφαρμογές της Prolog σε περιοχές της Τεχνητής Νοημοσύνης, όπως μετα-προγραμματισμός, επίλυση προ- βλημάτων με αναζήτηση σε χώρο καταστάσεων, συστήματα γνώσης και επεξεργασία φυσικής γλώσσας.

Ακολουθεί το κεφάλαιο για διαδικτυακό προγραμματισμό σε Prolog. Το τελευταίο κεφάλαιο αφορά τη μετάβαση από τη λογική στο Λογικό Προγραμματισμό και στη Prolog το οποίο αναδείχνει και το μηχανισμό συλλογιστικής της Prolog.

Αυτό το βιβλίο απευθύνεται σε διδάσκοντες και φοιτητές Πανεπιστημίων καθώς και σε Μηχανικούς Λογισμικού που ασχολούνται με ανάπτυξη λογισμικού και ιδιαιτερα με την ανάπτυξη εφαρμογών Τεχνητής Νοημοσύνης. Τα θέματα που περιλαμβάνει το βιβλίο είναι τα εξής:

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