Guest User

Untitled

a guest
Nov 6th, 2022
45
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.70 KB | None | 0 0
  1. p(450). p(525). p(600).
  2. p(675). p(750). p(825). p(900).
  3. d(belhino). d(eldang). d(mechania).
  4. d(motomiya). d(suzutake). d(werril). d(zarobit).
  5. r(100). r(150). r(250).
  6. r(350). r(475). r(650). r(1000).
  7. f(10). f(15). f(20).
  8. f(25). f(30). f(40). f(60).
  9.  
  10. myselect([], _).
  11. myselect([A|B],C) :- myselect(A,C,D), myselect(B,D).
  12.  
  13. unique([]).
  14. unique([X|Xs]) :- \+ memberchk(X, Xs), unique(Xs).
  15.  
  16. select4([],[],[],[],[]).
  17. select4(Ps,Ds,Rs,Fs,[[P,D,R,F]|Sol0]) :-
  18. select(P,Ps,Ps0),
  19. select(D,Ds,Ds0),
  20. select(R,Rs,Rs0),
  21. select(F,Fs,Fs0),
  22. select4(Ps0,Ds0,Rs0,Fs0,Sol0).
  23.  
  24. clue1(Sol) :-
  25. freeze(Sol,(
  26. member([825,_,_,_],Sol),
  27. member([_,_,250,_],Sol),
  28. member([_,_,_,20],Sol),
  29. member([_,_,475,_],Sol),
  30. member([_,_,150,_],Sol),
  31. member([_,_,350,_],Sol),
  32. member([_,_,_,40],Sol))).
  33.  
  34. clue2(Sol) :-
  35. freeze(Sol,(
  36. member([P1,_,650,_],Sol),
  37. member([P2,mechania,_,_],Sol),
  38. P1 > P2)).
  39.  
  40. clue3(Sol) :-
  41. freeze(Sol,(
  42. member([P,D,_,60],Sol),
  43. (P == 750 ; D == eldang))).
  44.  
  45. clue4(Sol) :-
  46. freeze(Sol,(
  47. (member([900,_,350,_],Sol),
  48. member([_,belhino,_,25],Sol))
  49. ;
  50. (member([900,belhino,_,_],Sol),
  51. member([_,_,350,25],Sol)))).
  52.  
  53. clue5(Sol) :-
  54. freeze(Sol,(
  55. (member([900,_,_,20],Sol),
  56. member([_,zarobit,150,_],Sol))
  57. ;
  58. (member([900,_,150,_],Sol),
  59. member([_,zarobit,_,20],Sol)))).
  60.  
  61. clue6(Sol) :-
  62. freeze(Sol,(
  63. (member([_,_,100,40],Sol),
  64. member([825,_,_,15],Sol))
  65. ;
  66. (member([825,_,_,40],Sol),
  67. member([_,_,100,15],Sol)))).
  68.  
  69. clue7(Sol) :-
  70. freeze(Sol,(
  71. member([_,_,R,10],Sol),
  72. R \== 475)).
  73.  
  74. clue8(Sol) :-
  75. freeze(Sol,(
  76. member([P1,mechania,_,_],Sol),
  77. member([P2,eldang,_,_],Sol),
  78. P1 =:= P2 + 225)).
  79.  
  80. clue9(Sol) :-
  81. freeze(Sol,(
  82. member([P,werril,_,_],Sol),
  83. (P == 450 ; P == 750))).
  84.  
  85. clue10(Sol) :-
  86. freeze(Sol,(
  87. member([P1,_,350,_],Sol),
  88. member([P2,werril,_,_],Sol),
  89. P1 < P2)).
  90.  
  91. clue11(Sol) :-
  92. freeze(Sol,(
  93. member([_,suzutake,R,_],Sol),
  94. R \== 350)).
  95.  
  96. clue12(Sol) :-
  97. freeze(Sol,(
  98. member([P1,motomiya,_,F1],Sol),
  99. member([P2,D2,_,20],Sol),
  100. member([525,D3,_,F3],Sol),
  101. unique([P1,P2,525]),
  102. unique([D2,D3,motomiya]),
  103. unique([F1,F3,20]))).
  104.  
  105. clue13(Sol) :-
  106. freeze(Sol,(
  107. member([P1,zorobit,_,_],Sol),
  108. member([P2,_,_,10],Sol),
  109. P1 =:= P2 + 225)).
  110.  
  111. solve(Sol) :-
  112.  
  113. clue1(Sol),
  114. clue2(Sol),
  115. clue3(Sol),
  116. clue4(Sol),
  117. clue5(Sol),
  118. clue6(Sol),
  119. clue7(Sol),
  120. clue8(Sol),
  121. clue9(Sol),
  122. clue10(Sol),
  123. clue11(Sol),
  124. clue12(Sol),
  125. clue13(Sol),
  126.  
  127. findall(P,p(P),Ps),
  128. findall(D,d(D),Ds),
  129. findall(R,r(R),Rs),
  130. findall(F,f(F),Fs),
  131. select4(Ps,Ds,Rs,Fs,Sol).
Advertisement
Add Comment
Please, Sign In to add comment