Post on 03-Apr-2015
P.T. 2012/2013
Calculs numériques en Prolog
Forme syntaxique limitée
Usage d’inconnues intermédiaires
Le prédicat prédéfini is Inconnues (variables) valuées par unification Usage obligé de formes récurrentes
Illustration de ces contraintes
Sur trois exemples simples
Calcul du prédicat factorielle Calcul du prédicat somme Calcul du prédicat fibo
Factorielle
Description du prédicat
fact(0, 1).
fact(N, X) :- N > 0, N1 is N-1,
fact(N1, X1),
X is N*X1.
Somme des N premiers nombres entiers
Description du prédicat
somme(0, 0).
somme(N, X) :- N > 0, N1 is N-1,
somme(N1, X1),
X is N+X1.
Série de Fibonacci
Description du prédicat
fibonacci(1, 1).
fibonacci(2, 1).
fibonacci(N, X) :- N > 2, U is N-1, V is N-2,
fibonacci(U, X1),
fibonacci(V, X2),
X is X1+X2.