Discussion :

[Nicomart]

Bonjour à tous,

débutant en Prolog, je cherche à écrire un programme pour le problème des trois cruches. voici mon code :

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
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
% NB : contenance max : 
% Grande : 31L
% Moyenne : 11L
% Petite : 3L
 
% 3 Actions possibles :
arc(X,Y):- jeter(X,Y).
arc(X,Y):- remplir(X,Y).
arc(X,Y):- transvaser(X,Y).
 
% Vrai si X n'appartient pas à la liste
pasdansliste(_,[]).
pasdansliste(X,[Y|L]) :- X \= Y, pasdansliste(X,L).
 
% Fonction chemin :
% Si un arc existe, on le prend
chemin(X,Y,[],_) :- arc(Y,X).
% Sinon, on fait une recherche en évitant les boucles
chemin(X,Y,R,Deja_passe) :- arc(Z,X), pasdansliste(Z,Deja_passe) , chemin(Z,Y,Etat_int,[Z|Deja_passe]), R = [Z|Etat_int].
 
%----------------Changements d'états----------------------
 
jeter((A,B,C),(0,B,C)):- A\=0.
jeter((A,B,C),(A,0,C)):- B\=0.
jeter((A,B,C),(A,B,0)):- C\=0.
 
remplir((A,B,C),(31,B,C)):- A\=31.
remplir((A,B,C),(A,11,C)):- B\=11.
remplir((A,B,C),(A,B,3)):- C\=3.
 
transvaser1(A,B,Bmax,Afin,Bfin):- B+A<Bmax,
				Afin is 0,
				Bfin is B+A.
transvaser1(A,B,Bmax,Afin,Bfin):- B+A>=Bmax,
				Afin is A-(Bmax-B),
				Bfin is Bmax.
 
transvaser((A,B,C),(Af,Bf,C)):- A\=0, B\=11, transvaser1(A,B,11,Bf,Af).
transvaser((A,B,C),(Af,B,Cf)):- A\=0, C\=3, transvaser1(A,C,3,Af,Cf).
transvaser((A,B,C),(Af,Bf,C)):- B\=0, A\=31, transvaser1(B,A,31,Bf,Af).
transvaser((A,B,C),(A,Bf,Cf)):- B\=0, C\=3, transvaser1(B,3,C,Bf,Cf).
transvaser((A,B,C),(Af,B,Cf)):- C\=0, A\=31, transvaser1(C,2,31,Cf,Af).
transvaser((A,B,C),(A,Bf,Cf)):- C\=0, B\=11, transvaser1(B,C,11,Cf,Bf).
 
%---------------Appel principal => plantage---------------
 
% chemin((0,0,0),(7,X,Y),[],L).

Lors de l'appel (dernière ligne du code), SWI semble ne pas trouver la fonction chemin. Message d'erreur en mode debuggage :

Code :

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

ERROR : Undefined procedure: chemin((0,0,0),(7,X,Y),[],L). /_G202

Je n'arrive pas à trouver mon erreur...

Merci d'avance

Nicolas

[Trap D]

Tiens, ça me rappelle quelque chose ...

[Trap D]

Bon, un petit conseil, mais tu en fais ce que tu veux :
Pour ce problème, je pense que tu dois essayer de travailler avec des listes d'états. Qu'est-ce qu'un état : une liste de cruches : [cruche(3, V1), cruche(11, V2), cruche(31, V3)]

Maintenant, à partir de cet état, tu cherches tous les états pouvant être obtenus par transvasement, remplissage ou vidage, et tu construis ainsi des chemins partant de l'état initial en explorant l'arbre des possibilités, tous les chemins de longueur 1, puis tous les chemins de longueur 2 etc jusqu'à trouver un chemin qui te conduise à l'état recherché, à savoir une certaine quantitié d'eau dans la cruche de 31 L je crois.

Bon courage.

[Shivaneth]

Nicolas, c'est pas bien de chercher de l'aide sur les forums, travaille tout seul sinon je vais le dire à Peter :p

[pcaboche]

Tiens, ça me rappelle quelque chose ...

Tiens, c'est bizarre, moi aussi...

[loka]

ça me rappelle aussi quelquechose... Ah oui le TP noté de prolog

Sinon nico, tu as réglé ton problème depuis ?

[Nicomart]

Je n'ai pas remis les mains dans le code depuis mon post, mais je crois que je comprends la solution de Trap.

Hélène, si ils ne veulent pas qu'on cherche de l'aide extérieure, ils n'ont qu'à nous le faire en conds d'exams, comme Lex/Yakk l'an dernier De plus, je ne demande pas un code prémaché et prédigéré, mais juste un coup de pouce débloqueur, ce que Trap semble bien avoir compris

[Nicomart]

Bon, solution trouvée par mon binôme préféré : le code est bon. C'est juste l'appel qui ne l'est pas...