Prolog: Προγραμματισμός σε λογική για τεχνητή νοημοσύνη 2η Έκδοση

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

Αυτό το βιβλίο έχει ως στόχο ο αναγνώστης του να κατανοήσει τα χαρακτηριστικά της γλώσσας, τα οποία την κάνουν ένα ισχυρό προγραμματιστικό εργαλείο.

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