% raadselEinstein.pl
% Het raadsel van Einstein
losOp( WieDrinktWater, VanWieIsDeZebra) :-
  length(Huizen, 5),                                     			% 1.  Er zijn 5 Huizen.
  member(huis(red, engelsman, _, _, _), Huizen),            		% 2.  De Engelsman woont in het rode huis.
  member(huis(_, spanjaard, hond, _, _), Huizen),           		% 3.  De Spanjaard heeft een hond.
  member(huis(groen, _, _, koffie, _), Huizen),          			% 4.  Koffie wordt in het groene huis gedronken.
  member(huis(_, ukraienier, _, thee, _), Huizen),         			% 5.  De Ukraiener drinkt thee.
  nextto(huis(ivoor, _, _, _, _), huis(groen, _, _, _, _), Huizen), % 6.  Het groene huis staat direct rechts naast het ivoor kleurige huis.
  member(huis(_, _, slakken, _, oldgold), Huizen),       			% 7.  De "Old Gold" roker is eigenaar van slakken.
  member(huis(geel, _, _, _, kools), Huizen),            			% 8.  "Kools" worden gerookt in het gele huis.
  nth0(2, Huizen, huis(_, _, _, melk, _) ),           				% 9.  Melk wordt in het middelste huis gedronken.
  nth0(0, Huizen, huis(_, noor, _, _, _) ),							% 10. De Noor woont in het eerste huis.
  (   	
  	nextto(huis(_, _, _, _, chesterfields ), huis(_, _, vos, _, _ ), Huizen);
    nextto(huis(_, _, vos, _, _ ), huis(_, _, _, _, chesterfields ), Huizen)
  ),			    												% 11. De man die "Chesterfields"rookt woont in het huis naast de man met de vos.
  (   	
  	nextto(huis(_, _, _, _, kools ), huis(_, _, paard, _, _ ), Huizen);
    nextto(huis(_, _, paard, _, _ ), huis(_, _, _, _, kools ), Huizen)
  ),																% 12. "Kools" worden gerookt in het huis naast het huis waar het paard is.
  member(huis(_, _, _, sinaasappelsap, luckystrike), Huizen), 		% 13. De "Lucky Strike" roker drink sinaasappelsap.
  member(huis(_, japanner, _, _, parliaments), Huizen),           	% 14. De Japanner rookt "Parliaments".  			
  (   	
  	nextto(huis(_, noor, _, _, _ ), huis(blauw, _, _, _, _ ), Huizen);
    nextto(huis(blauw, _, _, _, _ ), huis(_, noors, _, _, _ ), Huizen)
  ),																% 15. De Noor woont naast het blauwe huis.

  member(huis(_, WieDrinktWater, _, water, _), Huizen),  			% Wie drinkt water?
  member(huis(_, VanWieIsDeZebra, zebra, _, _), Huizen). 			% Van wie is de zebra?
 