Discussion :

[PADYVEN]

Bonjour à tous,

Voilà mon problème : je débute en Prolog et j'écris à titre d'exemple une analyse de la famille au sens liens familiaux.
Mais voilà, je bloque aux premiers prédicats frere et soeur.
Je voudrais écrire que si frere(X,Y)=vrai alors frere(Y,X)=vrai sauf si Y est une fille et sauf si le prédictat frere(Y,X) est déjà défini. Et tous ça sans boucle infinie.

Je poste la totalité de mon code; plein d'erreurs sont présentes.
Je précise aussi que j'ai lu tous les tutoriels présents sur le site.

Merci d'avance pour votre aide.

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
80
81
82
83
84
85
86
87
88
89
 
/***********************************************
		LA FAMILLE
***********************************************/
 
/***************** Les faits *******************/
/*personne(nom,prenom,age,sexe).*/
/*personne(nom,prenom,prenom2,sexe,date_naissance,lieu_naissance,date_mort,sexe).*/
personne(toto,yann,31,homme).
personne(toto,yven,29,homme).
personne(lafu_toto,jacqueline,56,femme).
personne(lafu,germaine,86,femme).
personne(lafu,gervaise,56,femme).
personne(lafu,jean,50,homme).
personne(toto,madeleine,80,femme).
personne(toto,alain,52,homme).
personne(toto,raymond,100,homme).
personne(lafu,robert,100,homme).
 
frere(yann,yven).
pere(yann,alain).
pere(henri4,louis13).
mere(yann,jacqueline).
mere(alain,madeleine).
mere(jacqueline,germaine).
pere(alain,raymond).
pere(jacqueline,robert).
 
/***************** Les regles *******************/
/*homme et femme et same*/	
homme(X):-personne(_,X,_,homme),!.
femme(Y):-personne(_,Y,_,femme),!.
 
/*frere echec si x==y ou si y fille ou si frere deja defini*/	
frere(X,Y):-X==Y,!,fail.
frere(X,Y):-femme(Y),!,fail.
frere(X,Y):-frere(X,Y),!,fail.
frere(X,Y):-frere(Y,X),!.
 
/*soeur echec si x==y ou si y homme ou si soeur deja defini*/	
soeur(X,Y):-X==Y,!,fail.
soeur(X,Y):-homme(Y),!,fail.
soeur(X,Y):-soeur(X,Y),!,fail.
soeur(X,Y):-soeur(Y,X),!.
 
freresoeur(X,Y):-(frere(X,Y);soeur(X,Y)),!.
 
pere(X,Y):-(pere(Z,Y),freresoeur(Z,X));enfant(Y,X),!.
mere(X,Y):-(mere(Z,Y),freresoeur(Z,X));enfant(y,X),!.
enfant(ALAIN,X):-(fils(ALAIN,X);fille(ALAIN,X)),!.
parents(X,Y,Z):-pere(X,Y),mere(X,Z),!.
parent(X,Y):-(pere(X,Y);mere(X,Y)).
fils(X,Y):-parent(Y,X),homme(Y),!.
fille(X,Y):-parent(Y,X),femme(Y),!.
grandpere(X,Y):-(pere(X,Z);mere(X,Z)),pere(Z,Y),!.
grandmere(X,Y):-(pere(X,Z);mere(X,Z)),mere(Z,Y),!.
 
enfant(Y,X):-bio(Y,_,_,_,X,_),!.
enfant(Y,X):-bio(Y,_,_,_,_,X),!.
petitenfant(Y,X):-enfant(Y,Z),enfant(Z,X),!.
descendant(Y,X):-enfant(Y,X),!.
descendant(Y,X):-enfant(Y,Z),descendant(Z,X),!.
 
 
same(X,X).
 
 
messageFamille :- nl,nl,
   write('    ****************************************************************'), nl, 
   write('    *  REGLES DE LA FAMILLE                                        *'), nl,
   write('    *    ?-  frere(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  soeur(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  pere(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  mere(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  grandpere(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  grandmere(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  fils(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  fille(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  homme(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  femme(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  enfant(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  petitenfant(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  descendant(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  ancetres(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  parents(FRERE1,FRERE2).                                 *'), nl,
   write('    *    ?-  messageFamille             to reread this.            *'), nl,
   write('    ****************************************************************'), nl, nl.
 
:- messageFamille.

[Trap D]

Tu peux dire que "A est le frere de B" si A et B ont le même père/mère est que A est un homme, en empêchant bien sur que A et B soient la même personne.

Pour ce qui est du fonctionnel de Prolog, à part le prédicat maplist/2,3 qui permet d'appliquer un prédicat à chaque élélment d'une liste, je ne vois pas trop.

Si je peux me permettre, je trouve que tu abuses un peu des cuts. Es-tu sûr qu'ils soient toujours justifiés ?

[PADYVEN]

deja je m'excuse pour l'entete mais j'avais poste sur le mauvais forum

comme dit precedement je cherche a creer tous les liens d'une famille
et dans mon exemple je ne sais pas si ils ont le meme pere ou la meme mere
par contre par la logique je sais que si ils sont frere est que si Y n'est pas une femme la reciproque est vrai.

pour les cut j'ai assaye de suivre les predictats standard donnee dans un tutoriel du site

elimination des cas faux puis traitement du predictat