No Description
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

tp1_1.pl 2.0KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071
  1. %***************
  2. % Les personnes
  3. %***************
  4. personne(edouard, homme, 72, retraite(commandant(armee_de_terre)), nice).
  5. personne(agathe, femme, 58, musicienne(blues), nice).
  6. personne(gaston, homme, 65, retraite(chauffeur(semvat)), balma).
  7. personne(simone, femme, 65, retraite(cableur(airbus)), balma).
  8. personne(georges, homme, 28, animateur(club_med), toulouse).
  9. personne(marie_cecile,femme,35, clerc_de_notaire, toulouse).
  10. personne(octave, homme, 40, huissier, nice).
  11. personne(elton, homme, 10, ecolier, toulouse).
  12. personne(vanessa, femme, 5, ecolier, toulouse).
  13. %*************************
  14. % Les relations de parente
  15. %*************************
  16. parent(edouard, marie_cecile).
  17. parent(agathe, marie_cecile).
  18. parent(edouard, octave).
  19. parent(agathe, octave).
  20. parent(gaston, georges).
  21. parent(simone, georges).
  22. parent(georges, elton).
  23. parent(georges, vanessa).
  24. parent(marie_cecile, elton).
  25. parent(marie_cecile, vanessa).
  26. %********
  27. % Regles
  28. %********
  29. pere(Pere, Enfant) :-
  30. personne(Pere, homme, _, _, _),
  31. parent(Pere, Enfant).
  32. fille(Fille, Parent) :-
  33. personne(Fille, femme, _, _, _),
  34. parent(Parent, Fille).
  35. %-------------------------------
  36. % Ajouter vos nouvelles regles a partir dici
  37. %-------------------------------
  38. nice(Personne) :-
  39. personne(Personne, _, _, _, nice).
  40. memeVille(Personne) :-
  41. personne(Personne,_,_,_,Ville),
  42. once(parent(Parent_1,Personne)),
  43. personne(Parent_1,_,_,_,Ville),
  44. parent(Parent_2,Personne),
  45. personne(Parent_2,_,_,_,Ville),
  46. not(Parent_1 = Parent_2).
  47. mere(Mere, Enfant) :-
  48. personne(Mere, femme, _, _, _),
  49. parent(Mere, Enfant).
  50. fils(Fils, Parent) :-
  51. personne(Fils, homme, _, _, _),
  52. parent(Parent, Fils).
  53. parent_d_ecolier(P) :-
  54. personne(P,_,_,_,_),
  55. once((parent(P,E),
  56. personne(E,_,_,ecolier,_))).