Discussion :

[sousan]

Bonjour

Je voudrais savoir comment exécuter un programme Prolog.
J'ai installé Prolog 5.1.
Par exemple, j'ai écrit la partie de code

Code :

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

1
2
Likes (ali , mohammad).
? – likes(ali, mohammad )

Prolog n'affiche rien, même si je fait test goal. Rien ....
Aidez-moi c'est urgent.

[Trap D]

Sous SWI-Prolog, tu tapes dans un fichier truc.pl

Code :

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

likes(ali, mohammad ).

En minuscule.
Tu compiles puis ensuite, au top-level tu peux interroger la base de données par exemple likes(X, mohammad) ou likes(ali, X) ...

[sousan]

slt
mais comment faire ca sur visual prolog
mon probleme est d'afficher le resultat final
par exemple dans léexo suivant:
un paysan se dirige vers marché vendre de fromage
il accompagné du chat ,souris,au bord d'1 riviere quéil doivent traversr
1 petite bateau ne pouvant trasporter que 2 objets

j'ai essie de modoliser se problem comme suit mais j'arrive pas a exécuter ce pgm

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
48
49
 
PRIDICATES
trouvechemin(etatInitial,etatfinal,etatempruntes,solution).
deplace(etat(X,X,souris,fromage),etat(Y,Y,souris,fromage))
deplace(etat(X,chat,X,fromage),etat(Y,chat,Y,fromage))
deplace(etat(X,chat,X,souris,X),etat(Y,chat,souris,Y))
deplace(etat(X,chat,X,souris,fromage),etat(Y,chat,souris,fromage))
inverse(gauche,droite).
inverse(droite,gauche).
verifier(etat(paysan,X,X,-)).
verifier(etat(paysan,_,X,X)).
membre(X,[X|_]).
membre(X,[_|liste]):-membre(X,liste).
affichechemin([etatdebut,etatfinal|finchemine]).
trans(etat(X,chat,souris,fromage),etat(Y,chat,souris,fromage)).
trans(etat(X,X,souris,fromage),etat(Y,Y,souris,fromage)).
trans(etat(X,chat,X,fromage),etat(Y,chat,Y,fromage)).
trans(etat(X,chat,souris,X),etat(Y,chat,souris,Y)).
write(A,X,B,Y,C).
 
 
CLAUSES
 
 
trouvechemin(etatInitial,etatfinal,etatempruntes,solution):-deplace(etatInitial,etatsuivant),
not(verifiecontraintes(etatsuivant)),
not(estmembre(etatsuivant,etatempruntes)),
trouvechemin(etatInitial,etatfinal,[etatsuivant|etatempruntes],solution).
trouvechemin(etatInitial,etatfinal,solution,solution).
deplace(etat(X,X,souris,fromage),etat(Y,Y,souris,fromage)):-inverse(X,Y).
deplace(etat(X,chat,X,fromage),etat(Y,chat,Y,fromage)):-inverse(X,Y).
deplace(etat(X,chat,X,souris,X),etat(Y,chat,souris,Y)):-inverse(X,Y).
deplace(etat(X,chat,X,souris,fromage),etat(Y,chat,souris,fromage)):-inverse(X,Y).
inverse(gauche,droite).
inverse(droite,gauche).
verifier(etat(paysan,X,X,-))-:inverse(paysan,X),!.
verifier(etat(paysan,_,X,X))-:inverse(paysan,X),!.
membre(X,[X|_]):-! .
membre(X,[_|liste]):-membre(X,liste).
affichechemin([etatdebut,etatfinal|finchemine]):-affichechemin([etatfinal|finchemine]),
trans(etatfinal,etatdebut).
trans(etat(X,chat,souris,fromage),etat(Y,chat,souris,fromage)):-!,write(' le paysan traverse la rivierede ',X ,' a ',Y,'\n').
trans(etat(X,X,souris,fromage),etat(Y,Y,souris,fromage)):-!,write(' le paysan et le chat traverse la riviere de ',X,' a ',Y,'\n').
trans(etat(X,chat,X,fromage),etat(Y,chat,Y,fromage)):-!,write(' le paysan et sa souris traverse la riviere de ',X,' a ',Y,'\n').
trans(etat(X,chat,souris,X),etat(Y,chat,souris,Y)):-!,write(' le paysan et son fromage traverse la riviere de ',X,' a ',Y,'\n').
write(A,X,B,Y,C) :- write(A),write(X),write(B),write(Y),write(C).
 
GOAL
 ?-:initial(rechrche(etat(gauche,gauche,gauche,gauche),etat(droit,droit,droit,droit,))).

[Trap D]

Je ne sais pas comment fonctionne le Visual Prolog donc je ne peux guère t'aider dans la rédaction des clauses.
Pour la résolution de ton problème, tu peux t'inspirer de mon article : http://jfoutelet.developpez.com/articles/partage/ partie II-C. qui montre comment parcourir l'arbre des possibilités , malheureusement, c'est en SWI-Prolog

[sousan]

merci pour ton aide ...........
tu peut me corrigé mes pridicat si elle est just ou non

[Trap D]

J'ai beaucoup de mal à vérifier tes prédicats comme ça, sans pouvoir tester
Tout ce que je peux dire c'est que le premier

Code :

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

1
2
3
4
5
6
7
trouvechemin(etatInitial,etatfinal,etatempruntes,solution):-
   deplace(etatInitial,etatsuivant),
   not(verifiecontraintes(etatsuivant)),
   not(estmembre(etatsuivant,etatempruntes)),
   trouvechemin(etatInitial,etatfinal,[etatsuivant|etatempruntes],solution).
 
trouvechemin(etatInitial,etatfinal,solution,solution).

me parait correct, mais pour les autres ...

[EDIT] Après avoir fait le prog en SWI-Prolog, je vois que ton premier prédicat est faux, il faut faire

Code :

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

1
2
3
4
5
6
7
trouvechemin(etatInitial,etatfinal,etatempruntes,solution):-
   deplace(etatInitial,etatsuivant),
   not(verifiecontraintes(etatsuivant)),
   not(estmembre(etatsuivant,etatempruntes)),
   trouvechemin(etatsuivant,etatfinal,[etatsuivant|etatempruntes],solution).

trouvechemin(etatInitial,etatfinal,solution,solution).

[/EDIT]

[sousan]

merci bcp
j'ai trouver une atre solution ,elle éxécutable
est voila le 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
 
 
%une solution de probléme est:
%le paysan et la souris traversent  la rviere de gauche a droite
%le paysan et traverse la riviere de droite a gauche
%le paysan et le chat traversent la rviere de gauche a droite
%le paysan et la souris traversent la rviere de droite a gauche
%le paysan et le fromage traversent  la rviere de gauche a droite
%le paysan et traverse la riviere de droite a gauche
%le paysan et la souris traversent  la rviere de gauche a droite
 
 
PREDICATES
traverse(symbol,symbol)
etat(symbol,symbol,symbol,symbol)
traverser(symbol,symbol,symbol)
inverse(symbol)
CLAUSES
traverse(X,Y):-!;traverse(paysan,souris);traverse(paysan,chat);traverse(paysan,fromage).
traverser(droite,X,Y):-traverse(X,Y),write(X),write("\t"),write(Y,"\t"),write("\t(**rive droite**)"),nl.
inverse(paysan):-write("paysan"),write("\t\t\t(**retourne du paysan au rive gauche**)"),nl,!.
inverse(souris):-write("paysan"),write("\t"),write("souris\t"),write("\t(**rive gauche**)"),nl.
etat(P,C,F,S):-write("\t \t \t @********les deffirntes chemines**********@"),nl,write(1,"\t"),
traverser(S,paysan,souris),write(2,"\t"),
inverse(paysan),write(1,"\t"),
traverser(C,paysan,chat),write(4,"\t"),
inverse(souris),write(5,"\t"),
traverser(F,paysan,fromage),write(6,"\t"),
inverse(paysan),write(7,"\t"),
traverser(P,paysan,souris).
 
GOAl
etat(droite,droite,droite,droite).

[Trap D]

Oui, enfin bon, ce n'est pas vraiment ce qu'on attend de toi, enfin ça m'étonnerait !

Non, c'est au programme de trouver la solution, pas a toi de l'écrire dans le programme.