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.