La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

P.T. 2012/2013 Calculs numériques en Prolog. Forme syntaxique limitée è Usage dinconnues intermédiaires Le prédicat prédéfini is Inconnues (variables)

Présentations similaires


Présentation au sujet: "P.T. 2012/2013 Calculs numériques en Prolog. Forme syntaxique limitée è Usage dinconnues intermédiaires Le prédicat prédéfini is Inconnues (variables)"— Transcription de la présentation:

1 P.T. 2012/2013 Calculs numériques en Prolog

2 Forme syntaxique limitée è Usage dinconnues 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(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.


Télécharger ppt "P.T. 2012/2013 Calculs numériques en Prolog. Forme syntaxique limitée è Usage dinconnues intermédiaires Le prédicat prédéfini is Inconnues (variables)"

Présentations similaires


Annonces Google