P.T. 2012/2013 Calculs numériques en Prolog. Forme syntaxique limitée è Usage dinconnues...
-
Upload
corin-esteve -
Category
Documents
-
view
103 -
download
0
Transcript of P.T. 2012/2013 Calculs numériques en Prolog. Forme syntaxique limitée è Usage dinconnues...
![Page 1: 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)](https://reader036.fdocuments.fr/reader036/viewer/2022081907/551d9d8c497959293b8c1430/html5/thumbnails/1.jpg)
P.T. 2012/2013
Calculs numériques en Prolog
![Page 2: 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)](https://reader036.fdocuments.fr/reader036/viewer/2022081907/551d9d8c497959293b8c1430/html5/thumbnails/2.jpg)
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
![Page 3: 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)](https://reader036.fdocuments.fr/reader036/viewer/2022081907/551d9d8c497959293b8c1430/html5/thumbnails/3.jpg)
Illustration de ces contraintes
Sur trois exemples simples
Calcul du prédicat factorielle Calcul du prédicat somme Calcul du prédicat fibo
![Page 4: 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)](https://reader036.fdocuments.fr/reader036/viewer/2022081907/551d9d8c497959293b8c1430/html5/thumbnails/4.jpg)
Factorielle
Description du prédicat
fact(0, 1).
fact(N, X) :- N > 0, N1 is N-1,
fact(N1, X1),
X is N*X1.
![Page 5: 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)](https://reader036.fdocuments.fr/reader036/viewer/2022081907/551d9d8c497959293b8c1430/html5/thumbnails/5.jpg)
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.
![Page 6: 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)](https://reader036.fdocuments.fr/reader036/viewer/2022081907/551d9d8c497959293b8c1430/html5/thumbnails/6.jpg)
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.