daily pastebin goal
29%
SHARE
TWEET

Untitled

a guest Mar 24th, 2019 48 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. solve(list):-
  2.  
  3. length(list,7),  
  4. member([Jarek,JF,JA],list),
  5. member([Franek,FF,FA],list),
  6. member([Stefan,STF,STA],list),
  7. member([Albert,AF,AA],list),
  8. member([Szymon,SZF,SZA],list),
  9. member([Robert,RF,RA],list),
  10. member([Marcin,MF,MA],list),
  11.  
  12. member([downer,downerF,dog],list),
  13. member([catowner,catownerF,cat],list),
  14. member([fowner,fownerF,fish],list),
  15. member([howner,hownerF,hamster],list),
  16. member([powner,pownerF,parrot],list),
  17. member([sowner,sownerF,snake],list),
  18. member([canowner,canownerF,canary],list),
  19.  
  20.  
  21.  
  22. JF>STF,
  23. sownerF=6,
  24. hownerF=0,
  25. MF>JF,
  26. fownerF=5,
  27. MA\=cat,
  28. catownerF=4,
  29. FA\=parrot,
  30. pownerF=1,
  31. RF>MF,
  32. RF>ST,
  33. canownerF=2,
  34. JF>FF,
  35. downerF=3,
  36. AF<SZF,
  37. STF>MF,
  38. SZA\=canary,
  39. JA\=fish,
  40. FA\=fish,
  41. SZF>FF,
  42. SZF>RF,
  43. RF>FF,
  44. MA\=hamster,
  45. FA\=hamster,
  46. AF<SF,
  47. AF<MF,
  48. SA\=canary,
  49. AF<FF,
  50. AF>JF,
  51. FA\=cat,
  52. STF<SZF,
  53. STA\=parrot,
  54. STA\=fish,
  55. MA\=canary,
  56. STF>FF,
  57. SZF>JF,
  58. JF<RF,
  59. SZF>MF,
  60. FF<MF,
  61. MA\=parrot,
  62. RF>AF,
  63. MA\=dog,
  64. MA\=snake,
  65. RA\=parrot,
  66. JA\=canary,
  67. RA\=hamster,
  68. JA\=dog,
  69. STA\=hamster,
  70. RA\=snake,
  71. AA\=snake,
  72. STA\=cat,
  73. STA\=snake,
  74. SZA\=hamster,
  75. FA\=dog,
  76. RA\=dog,
  77. JA\=parrot,
  78. SZA\=cat,
  79. JA\=snake,
  80. FA\=snake.
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top