Télécharger la présentation
La présentation est en train de télécharger. S'il vous plaît, attendez
1
Calculs numériques en Prolog
P.T. 2012/2013 Calculs numériques en Prolog
2
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
3
Illustration de ces contraintes
Sur trois exemples simples Calcul du prédicat factorielle Calcul du prédicat somme Calcul du prédicat fibo
4
Factorielle Description du prédicat fact(0, 1).
fact(N, X) :- N > 0, N1 is N-1, fact(N1, X1), X is N*X1.
5
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.
6
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.
Présentations similaires
