prolog - Sommaire

X+Y. X=3. X=X+1. Prolog permet d'écrire certains expressions sous forme infixe ... livre(Y) :- auteur(_,Y). ?- auteur(X). Remarque: c'est Prolog qui fournit le ??-? ...


Un extrait du document