Programmation Logique

Un programme prolog est une suite de règles et de faits. Les règles sont de la forme $P$ if $Q_1$ and $Q_2$ ... and $Q_n$ (on appelle une telle règle une clause de Horn). Un fait une clause pour laquelle $n=0$. On peut interpréter une règle comme: pour déduire $P$, il faut déduire $Q_1$ ensuite déduire $Q_2$ ... ensuite déduire $Q_n$. Un fait se déduisant de rien est considéré comme vrai.

Exemple
Un exemple en Prolog:

• Règles:

  append([],Y,Z).
  append([H|X],Y,[H|Z]) :- append(X,Y,Z).
  

• ?- append([a,b],[c,d],[a,b,c,d]).
  
  ?- append(X,Y,[a,b,c,d]).
  X = []
  Y = [a, b, c, d] ;
  
  X = [a]
  Y = [b, c, d] ;
  
  X = [a, b]
  Y = [c, d] ;
  
  X = [a, b, c]
  Y = [d] ;
  
  X = [a, b, c, d]
  Y = [] ;
  
  No