Discussion :

[fedjo]

Bonjour,

je suis débutant en prolog et je vois qu'il ya une réelle différence entre reconnaitre un programme et le concevoir

après quelques recherches, je suis tombé sur les design patterns

http://pcaboche.developpez.com/artic...mation-prolog/

j'ai essayé de suivre ce tutoriel, et ai essayé sur un exemple (calcul du factoriel), mais il retourne l'erreur : "Singletone variable B".

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
facto(A,B) :-
  A<0,
  !,
  fail.
 
facto(A,B):-
  A>0,
  !,
  C is A-1, facto(C,D), B is A*D.
 
facto(A,B):-
  A=:=0,
  !,
  B is 1.

Alors si quelqu'un peut m'apporter des clarifications sur cette méthode, Merci

[luckyvae]

Ce warning signifie qu'une variable est nommée mais pas utilisée.

Si l'on prend ta première définition:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
facto(A,B) :-
A<0,
!,
fail.

on peut se rendre compte que la variable B n'est pas utilisée. Dans ce cas, ce n'est pas un oubli et donc le warning est un peu inutile, puisque c'est intentionnel. Il existe cependant une méthode pour ne plus avoir ce warning. Il suffit de remplacer la variable non-utilisée par le caractère '_'
De plus, cette méthode possède l'avantage de fournir un code plus facilement lisible pour quelqu'un. En effet, s'il voit ce caractère '_', il va tout de suite savoir que celui-ci ne sera pas utilisé.

Celà donnerait donc ce code ci:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
facto(A,_) :-
A<0,
!,
fail.

Concernant l'utilisation du pattern, celle-ci m'a l'air tout à fait correcte.

Est-ce que cela répond à votre question?


[edit] une faute lors de copier/coller [/edit]

[Trap D]

Concernant la correction de code, le copier/collé a encore sévi

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
facto(A,_B) :-
A<0,
!,
fail.

Oubli du '_' avant B

[fedjo]

Merci énormément pour la réponse luckyvae, ça à réglé le problème, cependant cette méthode des design patterns ne simplifie pas tant que ça la résolution vue que le plus important à réfléchir est le cas général :

... :- C is A-1, facto(C,D), B is A*D.

J'arrive à concevoir quelques programmes.. mais parfois

La conception de programmes en prolog n'est pas tache facile comparée à la programmation déclarative, il n'y aurait pas une méthodologie à suivre pour penser en déclarative et arriver au code prolog ??..

( Aussi, pourrais tu m'expliquer le fonctionnement du Pattern 3.. )

Toute aide me serait très utile surtout que j'ai l'examen dans 2 jours, Merci

[luckyvae]

Concernant la correction de code, le copier/collé a encore sévi