7.5.3 Λογικός προγραμματισμός

Ο λογικός προγραμματισμός (logic programming) είναι επηρεασμένος και εμπνευσμένος από τη μαθηματική λογική. Ένα πρόγραμμα γραμμένο σε μια γλώσσα λογικού προγραμματισμού, όπως η Prolog, είναι ένα σύνολο από λογικές προτάσεις και από ένα μηχανισμό εξαγωγής συμπερασμάτων, μέσω του οποίου μπορούμε να υποβάλουμε ερωτήσεις στο πρόγραμμα και αυτό να μας απαντήσει αν αληθεύουν ή όχι. Για παράδειγμα, παρατίθεται ένα πρόγραμμα σε γλώσσα Prolog, που περιγράφει το γενεαλογικό δένδρο των θεών του Ολύμπου. Περιέχει ορισμένες λογικές προτάσεις που αφορούν ορισμούς συγγένειας. Η σύνταξη δεν είναι αυστηρή για λόγους αναγνωσιμότητας. Οι κανόνες "πατέρας" και "μητέρα" κωδικοποιούν το ποιος είναι πατέρας ή μητέρα ποιου, ενώ το "αδέλφια" ορίζει πως για να είναι δύο αδέλφια (ο Χ και ο Υ) πρέπει να έχουν τον ίδιο πατέρα ή την ίδια μητέρα (τον Ζ). Στο μηχανισμό εξαγωγής συμπερασμάτων μπορούμε να υποβάλουμε την ερώτηση: "είναι ο Δίας πατέρας του Διόνυσου" και να μας απαντήσει "ΝΑΙ" ή να ρωτήσουμε "ποια είναι τα αδέλφια του Άρη" και να απαντήσει "ο Διόνυσος".