/* définition des relations d'amitié dans ma maison */
chat(zia).
chien(kanai).
petite_fille(kelia).
aime(kelia,kanai).
aime(kelia,zia).

/* definition du successeur d'un nombre */
successeur(X,Y) :- Y is X+1.

/* définition du triple d'un nombre */
triple(X,Y) :- Y is 3*X.

/* définition de la factorielle d'un nombre */
fact(0,1):- !. % pour définir factorielle de 0 qui vaut 1
fact(N,F):- N>0, N1 is N-1, fact(N1,F1), F is N*F1. % pour définir par récurrence la factorielle d'un nombre N

/* définition d'une fonction pair :  */
