Προγραμματισμός με βάση τη λογική

Ο λογικός προγραμματισμός (logic programming) έχει ως θεωρητική βάση την κατηγορηματική λογική (predicate logic).

Νησί(Σάμος).

Διπλάσιο(4, 8).

Αγαπά(Γιώργος, Μαρία).

Δρομολόγιο(Αθήνα, Σάμος).
Δρομολόγιο(Σάμος, Αθήνα).
Δρομολόγιο(Αθήνα, Ηράκλειο).
Δρομολόγιο(Ηράκλειο, Αθήνα).

Δρομολόγιο(Α, Β) :-
   Δρομολόγιο(Α, Αθήνα),
   Δρομολόγιο(Αθήνα, Β).

? Δρομολόγιο(Σάμος, Αθήνα).
? Δρομολόγιο(Σάμος, Ηράκλειο).
? Δρομολόγιο(Σάμος, Αλεξανδρούπολη).

Επέκταση του σχεσιακού μοντέλου βάσεων δεδομένων
Πολυμορφικές λίστες και ταίριασμα σχημάτων
```
len([], 0).

len([H | T], L) :-
  len(T, L1),
  L is L1 + 1.
```
Αυτόματο ψάξιμο όλων των συνδυασμών
Δυνατότητα παράλληλης υλοποίησης
Δυνατότητα μαθηματικής απόδειξης της ορθότητας ενός προγράμματος