Λογικός προγραμματισμός
Ο λογικός προγραμματισμός είναι η χρήση μαθηματικής λογικής για τη συγγραφή προγραμμάτων υπολογιστών. Υπάρχουν εξειδικευμένες γλώσσες προγραμματισμού στις οποίες ο χρήστης μπορεί να εισάγει απευθείας λογικές προτάσεις. Πιθανότατα η πιο γνωστή από αυτές τις γλώσσες ονομάζεται Prolog. Ο Alonzo Church χρησιμοποίησε μια μορφή λογικού προγραμματισμού σε αυτό που σήμερα είναι γνωστό ως lambda calculus. Ο λογικός προγραμματισμός έχει επίσης χρησιμοποιηθεί στη LISP.
Τα προγράμματα αποτελούνται από ένα σύνολο κανόνων και γεγονότων. Στις περισσότερες περιπτώσεις, ο λογικός προγραμματισμός χρησιμοποιεί αυτό που ονομάζεται άρνηση ως αποτυχία ή ασθενής άρνηση: Αυτό σημαίνει ότι αν δεν είναι δυνατόν να προκύψει κάποια πρόταση p {\displaystyle p} 
από τα γεγονότα και τους κανόνες, το σύστημα θα υποθέσει ότι η άρνησή της είναι αληθής.
Ερωτήσεις και απαντήσεις
Ερ: Τι είναι ο λογικός προγραμματισμός;
A: Ο λογικός προγραμματισμός είναι μια προσέγγιση στον προγραμματισμό που χρησιμοποιεί μαθηματική λογική για τη συγγραφή προγραμμάτων υπολογιστών.
Ερ: Ποιες είναι μερικές γλώσσες προγραμματισμού που χρησιμοποιούν λογικό προγραμματισμό;
A: Ορισμένες γλώσσες προγραμματισμού που χρησιμοποιούν λογικό προγραμματισμό είναι η Prolog και η LISP.
Ερ: Ποιος είναι ο ρόλος των κανόνων και των γεγονότων στον λογικό προγραμματισμό;
Α: Τα προγράμματα στον λογικό προγραμματισμό αποτελούνται από ένα σύνολο κανόνων και γεγονότων.
Ερ: Τι είναι η άρνηση ως αποτυχία στον λογικό προγραμματισμό;
Α: Η άρνηση ως αποτυχία είναι μια έννοια στον λογικό προγραμματισμό όπου αν δεν είναι δυνατόν να προκύψει μια συγκεκριμένη πρόταση από τα γεγονότα και τους κανόνες, το σύστημα θα υποθέσει ότι η άρνησή της είναι αληθής.
Ερ: Τι είναι η ασθενής άρνηση στον λογικό προγραμματισμό;
Α: Η ασθενής άρνηση είναι ένας άλλος όρος για την άρνηση ως αποτυχία, η οποία είναι μια έννοια στον λογικό προγραμματισμό.
Ερ: Ποιος χρησιμοποίησε μια μορφή λογικού προγραμματισμού στον λογισμό λάμδα (lambda calculus);
Α: Ο Alonzo Church χρησιμοποίησε μια μορφή λογικού προγραμματισμού σε αυτό που σήμερα είναι γνωστό ως lambda calculus.
Ερ: Ποια είναι η πιο γνωστή γλώσσα προγραμματισμού που επιτρέπει στους χρήστες να εισάγουν απευθείας λογικές προτάσεις;
Α: Η Prolog είναι ίσως η πιο γνωστή γλώσσα προγραμματισμού που επιτρέπει στους χρήστες να εισάγουν απευθείας λογικές δηλώσεις.
