Calculs numériques en Prolog 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(N, X) :- N > 2, U is N-1, V is N-2, fibonacci(U, X1), fibonacci(V, X2), X is X1+X2.