Χαρακτηριστικά λογικού προγραμματισμού

• Επέκταση του σχεσιακού μοντέλου βάσεων δεδομένων
• Πολυμορφικές λίστες και ταίριασμα σχημάτων

  len([], 0).
  
  len([H | T], L) :-
    len(T, L1),
    L is L1 + 1.
  

• Αυτόματο ψάξιμο όλων των συνδυασμών
• Δυνατότητα παράλληλης υλοποίησης
• Δυνατότητα μαθηματικής απόδειξης της ορθότητας ενός προγράμματος