Discussion :

[stentorus]

Bonjour,
j'ai arrivé a tracer un automate qui reconnait les chaines de caracteres de ce type:

Code :

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

pourquoi PERSONNE1 est le fils (de|du){fils|pere|frere....} PERSONNE2

http://www.facebook.com/album.php?id...&id=1115590624

mon automate est un peu similaire a celui-ci
le code prolog que j'ai ecrit:

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
etat1([pourquoi|L]):-etat2(L).
etat2([X|L]):-etat3(L).
etat3([est|L]):-etat4(L).
etat4([le|L]):-etat5(L).
etat4([l|L]):-etat6(L).
etat4([la|L]):-etat10(L).
etat5([P|L]):-element(P,[pere,fils,frere,cousin,grand_pere,petit_fils]),etat7(L).
etat6([P|L]):-element(P,[ancle,ancetre]),etat7(L).
etat7([de|L]):-etat8(L).
etat7([du|L]):-etat5(L).
etat8([P|L]):-homme(P) or femmme(P),etat9(L).
etat8([l|L]):-etat6(L).
etat8([la|L]):-etat10(L).
etat9([]).
etat10([P|L]):-element(P,[soeur,mere,fille,cousine,grand_mere,petite_fille]),etat7(L).

ces regles sont basées sur une base de connaissances généalogique:

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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
 
# fait
#Homme
homme(mohamed).
homme(said).
homme(taher).
homme(ismail).
homme(ramzi).
homme(hamza).
homme(nadir).
homme(hussein).
homme(raouf).
homme(yasser).
/* les femmes */
femme(lamia).
femme(karima).
femme(amina).
femme(soumia).
femme(souad).
femme(assia).
femme(malak).
femme(zeineb).
femme(zouhel).
 
#les relations de parenté
 
enfant(said,mohamed).
enfant(said,lamia).
enfant(taher,mohamed).
enfant(taher,lamia).
enfant(amina,mohamed).
enfant(amina,lamia).
enfant(ismail,said).
enfant(ismail,karima).
enfant(souad,taher).
enfant(assia,amina).
enfant(assia,nadir).
enfant(hussein,amina).
enfant(hussein,nadir).
enfant(ramzi,ismail).
enfant(ramzi,soumia).
enfant(hamza,ismail).
enfant(hamza,soumia).
enfant(zeineb,ismail).
enfant(zeineb,soumia).
enfant(raouf,hussein).
enfant(raouf,malak).
enfant(yasser,hussein).
enfant(yasser,malak).
enfant(zouhel,hussein).
enfant(zouhel,malak).
 
parent(Y,X) :- enfant(X,Y).
 
pere(X,Y) :- parent(X,Y),homme(X).
mere(X,Y) :- parent(X,Y),femme(X).
 
fils(X,Y) :- enfant(X,Y),homme(X).
fille(X,Y) :- enfant(X,Y),femme(X).
 
grand_parent(X,Y) :- parent(X,Z),parent(Z,Y).
grand_pere(X,Y) :- grand_parent(X,Y),homme(X).
grand_mere(X,Y) :- grand_parent(X,Y),femme(X).
 
petit_enfant(X,Y) :- grand_parent(Y,X).
petit_fils(X,Y) :-  petit_enfant(X,Y),homme(X).
petite_fille(X,Y) :-  petit_enfant(X,Y),femme(X).
 
frere_ou_soeur(X,Y) :- pere(P,X),pere(P,Y),mere(M,X),mere(M,Y),X\==Y.
frere(X,Y) :- frere_ou_soeur(X,Y),homme(X).
soeur(X,Y) :- frere_ou_soeur(X,Y),femme(X).
 
oncle_ou_tante(X,Y) :- parent(Z,Y),frere_ou_soeur(X,Z).
oncle(X,Y) :- oncle_ou_tante(X,Y),homme(X).
tante(X,Y) :- oncle_ou_tante(X,Y),femme(X).
 
cousin_ou_cousine(X,Y) :- oncle_ou_tante(Z,X),enfant(Y,Z).
cousin(X,Y) :- cousin_ou_cousine(X,Y),homme(X).
cousine(X,Y) :- cousin_ou_cousine(X,Y),femme(X).

quand j'execute une requete,par exemple

Code :

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

etat1([pourquoi,said,est,le,fils,de,mohamed]).

qui devrai m'afficher soit true soit false,
le swi m'affiche le message d'erreur suivant :

Code :

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

Correct to: "etat10([pourquoi, said, est, le, fils, de, mohamed])"?

aider moi svp!

[Trap D]

J'ai testé le code, avec les corrections pour l'adapter à SWI-Prolog, il fonctionne bien :

3 ?- etat1([pourquoi,said,est,le,fils,de,mohamed]).
true ;

maintenant, on peut se poser la question : quel est le sens de true à la question "Pourquoi said est le fils de mohamed ?" !

[stentorus]

Quelles sont les corrections que vous avez faites,et quelle version de SWI-PROLOG vous utilisez?
j'utilse "SWI-Prolog version 5.8.3 by Jan Wielemaker (jan@swi-prolog.org)",
sinon veuillez me decrire comment vous arriviez a l'executer,car je suis un debutant en prolog.
merci d'avance

[Trap D]

La version que j'utilise est la 5.9.4
J'ai remplacé les # par des % pour les commentaires

J'ai remplacé les "element" par "member" et je crois que tout fonctionne (je ne suis pas sur le poste où j'ai testé le code) !

[stentorus]

au fait,La semantique de

1. true:chaine valide de type de la grammaire citée avant
2. false:chaine non valide(n'a pas de chemin depuis l'entrée jusqu'a la sortie de l'automate).

[stentorus]

pourriez vous m'envoyer le code que vous avez corrigé??meme avec les modificatiions que vous venez de me citer,par la requete que j'ai fournie,le swi m'affiche false

[etplus]

Je utilise GNU Prolog pour tester.
Le commentaire qui commence par # doit être remplace par %, ou mette /**/

et puis, je trouve une erreur sur expression "or"

Code :

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

1
2
3
4
5
 
compiling /chemin/bc.pl for byte code...
/chemin/bc.pl:92:28: syntax error: . or operator expected after expression
	1 error(s)
compilation failed

Je ne sais pas SWI-Prolog est definie cette expression?

[Trap D]

Le code corrigé pour SWI-Prolog :

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
%Analyse Syntaxique
etat1([pourquoi|L]):-etat2(L).
etat2([X|L]):-etat3(L).
etat3([est|L]):-etat4(L).
etat4([le|L]):-etat5(L).
etat4([l|L]):-etat6(L).
etat4([la|L]):-etat10(L).
etat5([P|L]):-
  member(P,[pere,fils,frere,cousin,grand_pere,petit_fils]),etat7(L).
etat6([P|L]):-member(P,[ancle,ancetre]),etat7(L).
etat7([de|L]):-etat8(L).
etat7([du|L]):-etat5(L).
etat8([P|L]):-
  (homme(P) ; femme(P)),etat9(L).
etat8([l|L]):-etat6(L).
etat8([la|L]):-etat10(L).
etat9([]).
etat10([P|L]):-
  member(P,[soeur,mere,fille,cousine,grand_mere,petite_fille]),etat7(L).

[stentorus]

merci beaucoup Mr.Trap D
alors je n'ai commis que des erreurs de syntaxe dans mon premier programme prolog !!