Ένα ακόμα διαδεδομένο προγραμματιστικό πρότυπο είναι ο λογικός προγραμματισμός. Είναι βασισμένος στη μαθηματική λογική. Το πρόγραμμα αποτελείται από λογικές προτάσεις και ένα μηχανισμό εξαγωγής συμπερασμάτων και μέσω αυτού το πρόγραμμα μας απαντάει αν μία ερώτηση αληθεύει ή όχι. Οι γλώσσες λογικού προγραμματισμού χρησιμοποιούνται κυρίως σε προγράμματα τεχνητής νοημοσύνης.