ΠΡΟΓΡΑΜΜΑΤΙΖΟΝΤΑΣ ΣΤΗ ΛΟΓΙΚΗ (PROGRAMMING IN LOGIC) – PROLOG

Description

Το πρώτο διδακτικό βιβλίο για τη γλώσσα PROLOG με τίτλο Programming in Logic κυκλοφόρησε το 1981 από τον εκδοτικό οίκο Springer-Verlag και συγγραφείς του ήταν οι Clocksin και Mellish και οι οποίοι ομολογούν σήμερα, ότι δύσκολα φαντάζονταν πωε το βιβλίο τους ενδιέφερε περισσότερους από 50 ανθρώπους σε όλο τον κόσμο!
Σήμερα, η κατάσταση αυτή έχει αλλάξει ριζικά. Η PROLOG , ξεπερνώντας τα στεγανά των ακαδημαϊκών και ερευνητικών οργανισμών, έχει αποκτήσει μεγάλη δημοτικότητα. Τα αίτια, βέβαια, για τη ριζική αυτή αλλαή είναι πολλά και αρκετά δύσκολο να αποτιμηθούν το καθενα με το δικό του ειδικό βάρος. Γεγονός είναι ότι η PROLOG πια θεωρείται πια ένα ισχυρό εργαλείο για τον Συμβολικό Προγραμματισμό και χρησιμοποιείται ιδιάτερα στο χώρο της Τεχνητής Νοημοσύνης.
Η λέξη PROLOG προέρχεται από τις λέξεις PROgramming in LOGic, μια ιδέα που καλλιεργήθηκε ιδιαίτερα στη δεκαετία του ΄70, αναφορικά με τη δυνατότητα χρήσης της Λογικής ως μια πρακτική γλώσσα προγραμματισμού.
Όπως θα δούμε, όμως, και στην εισαγωγή του βιβλίου η ιδέα αυτή έχει τις ρίζες της στη Συμβολική Λογική. Η Κατηγορική Λογική είναι ένας κλάδος της Συμβολικής Λογικής και αναπτύχθηκε κύρια στον αιώνα μας. Χρησιμοποιώντας ένα υποσύνολο της Κατηγορικής Λογικής, μπορούμε να περιγράψουμε μια κατάσταση και στη συνέχεια, διαμέσου μιας μηχανικής διαδικασίας, να συνάγουμε κάποια συμπεράσματα από την περιγραφή αυτή. (…)
(Από τον πρόλογο του συγγραφέα)