Advertisement
Guest User

Untitled

a guest
Jan 14th, 2018
70
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 1.78 KB | None | 0 0
  1. man(иван).
  2. man(сидор).
  3. man(ярослав).
  4. man(юрий).
  5. man(алексей).
  6. man(олег).
  7. man(федор).
  8. man(игорь).
  9. womаn(алена).
  10. womаn(ирина).
  11. womаn(альфия).
  12. womаn(евгения).
  13. womаn(юлия).
  14. womаn(раиля).
  15. womаn(мария).
  16. womаn(ольга).
  17. womаn(дарья).
  18. parent(иван, ярослав).
  19. parent(иван, юрий).
  20. parent(алена, ярослав).
  21. parent(алена, юрий).
  22. parent(сидор, алексей).
  23. parent(сидор, юлия).
  24. parent(ирина, алексей).
  25. parent(ирина, юлия).
  26. parent(юрий, раиля).
  27. parent(юрий, олег).
  28. parent(альфия, раиля).
  29. parent(альфия, олег).
  30. parent(алексей, мария).
  31. parent(алексей, ольга).
  32. parent(евгения, мария).
  33. parent(евгения, ольга).
  34. parent(олег, игорь).
  35. parent(мария, игорь).
  36. parent(федор, дарья).
  37. parent(ольга, дарья).
  38. married(иван, алена).
  39. married(сидор, ирина).
  40. married(юрий, альфия).
  41. married(алексей, евгения).
  42. married(олег, мария).
  43. married(федор, ольга).
  44.  
  45. %мать
  46. mоther(X,Y):- parent(X,Y), womаn(X).
  47. %отец
  48. father(X,Y):- parent(X,Y), man(X).
  49. %дедушка
  50. grandfather(X,Y):- parent(X,Tmp),parent(Tmp,Y), man(X).
  51. %тетя
  52. aunt(X,Y):- parent(T,Y), parent(T2,T), parent(T2,X),X\=T, women(X),!.
  53. aunt(X,Y):- parent(T,Y), parent(T2,T), parent(T2,T3),T3\=T, married(T3, X),!.
  54. %дядя
  55. uncle(X,Y):- parent(T,Y), parent(T2,T), parent(T2,X),X\=T, man(X),!.
  56. uncle(X,Y):- parent(T,Y), parent(T2,T), parent(T2,T3),T3\=T, married(X, T3),!.
  57. %племянница
  58. niece(X,Y):- women(X), uncle(Y,X).
  59. niece(X,Y):- women(X), aunt(Y,X).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement