SHARE
TWEET

Untitled

a guest Mar 24th, 2019 56 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. na_dole(A,B,[A,B|_]).
  2. na_dole(A,B,[_|O]) :- na_dole(A,B,O).
  3.  
  4. zadanie(X,Y,Z) :-
  5.     P=[[_,0,_],[_,1,_],[_,2,_],[_,3,_],[_,4,_],[_,5,_],[_,6,_]],
  6.     na_dole([Szymon,_,_],[Albert,_,_],P),
  7.     member([_,0,kanarek],P),
  8.     member([_,6,ryba],P),
  9.     member([Albert,_,\+pies],P),
  10.     member([_,1,pies],P),
  11.     na_dole([Szymon,_,_],[Jarek,_,_],P),
  12.     member([_,5,chomik],P),
  13.     na_dole([Stefan,_,_],[Albert,_,_],P),
  14.     na_dole([Szymon,_,_],[Franek,_,_],P),
  15.     member([_,4,papuga],P),
  16.     member([Robert,_,\+chomik],P),
  17.     na_dole([Marcin,_,_],[Jarek,_,_],P),
  18.     member([Albert,_,\+kanarek],P),
  19.     na_dole([Albert,_,_],[Jarek,_,_],P),
  20.     member([_,3,wąż],P),
  21.     member([_,2,kot],P),
  22.     member([Albert,_,\+chomik],P),
  23.     na_dole([Szymon,_,_],[Stefan,_,_],P),
  24.     na_dole([Albert,_,_],[Robert,_,_],P),
  25.     na_dole([Franek,_,_],[Robert,_,_],P),
  26.     na_dole([Marcin,_,_],[Franek,_,_],P),
  27.     member([Stefan,_,\+pies],P),
  28.     na_dole([Stefan,_,_],[Jarek,_,_],P),
  29.     na_dole([Franek,_,_],[Jarek,_,_],P),
  30.     na_dole([Jarek,_,_],[Robert,_,_],P),
  31.     member([Franek,_,\+kanarek],P),
  32.     na_dole([Franek,_,_],[Albert,_,_],P),
  33.     member([Szymon,_,\+ryba],P),
  34.     na_dole([Szymon,_,_],[Marcin,_,_],P),
  35.     member([Robert,_,\+wąż],P),
  36.     member([Jarek,_,\+ryba],P),
  37.     na_dole([Stefan,_,_],[Robert,_,_],P),
  38.     na_dole([Stefan,_,_],[Franek,_,_],P),
  39.     na_dole([Marcin,_,_],[Stefan,_,_],P),
  40.     na_dole([Marcin,_,_],[Albert,_,_],P),
  41.     member([Stefan,_,\+wąż],P),
  42.     member([Franek,_,\+chomik],P),
  43.     member([Marcin,_,\+kot],P),
  44.     na_dole([Marcin,_,_],[Robert,_,_],P),
  45.     na_dole([Szymon,_,_],[Robert,_,_],P),
  46.     member([Franek,_,\+ryba],P),
  47.     member([Stefan,_,\+ryba],P),
  48.     member([Franek,_,\+kot],P),
  49.     member([Albert,_,\+kot],P),
  50.     member([Szymon,_,\+papuga],P),
  51.     member([Albert,_,\+wąż],P),
  52.     member([Szymon,_,\+wąż],P),
  53.     member([Jarek,_,\+kot],P),
  54.     member([Jarek,_,\+kanarek],P),
  55.     member([Jarek,_,\+papuga],P),
  56.     member([Szymon,_,\+chomik],P),
  57.     member([Jarek,_,\+wąż],P),
  58.     member([Szymon,_,\+pies],P),
  59.     member([Jarek,_,\+pies],P),
  60.     member([Franek,_,\+papuga],P),
  61.     member([Marcin,_,\+wąż],P),
  62.     member([Szymon,_,\+kot],P),
  63.     member([Robert,_,\+pies],P),
  64.     member([Marcin,_,\+ryba],P),
  65.     member([Franek,_,\+pies],P),
  66.     member([Stefan,_,\+kanarek],P),
  67.     member([Robert,_,\+papuga],P),
  68.     member([Stefan,_,\+chomik],P),
  69.     member([Stefan,_,\+papuga],P),
  70.     member([X,Y,Z],P).
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
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!
 
Top