斑马问题答案C语言,zebra问题

该楼层疑似违规已被系统折叠 隐藏此楼查看此楼

color(h(C,N,P,Y,D),C).

nation(h(C,N,P,Y,D),N).

pet(h(C,N,P,Y,D),P).

cigarette(h(C,N,P,Y,D),Y).

drink(h(C,N,P,Y,D),D).

member(X,[X|T]).

member(X,[H|T]):-member(X,T).

next(A,B,[A,B,C,D,E]).

next(B,C,[A,B,C,D,E]).

next(C,D,[A,B,C,D,E]).

next(D,E,[A,B,C,D,E]).

next(B,A,[A,B,C,D,E]).

next(C,B,[A,B,C,D,E]).

next(D,C,[A,B,C,D,E]).

next(E,D,[A,B,C,D,E]).

middle(X,[_,_,X,_,_]).

first(A,[A|X]).

solve(Who):-

Rooms=[h(C1,N1,P1,Y1,D1),h(C2,N2,P2,Y2,D2),h(C3,N3,P3,Y3,D3),h(C4,N4,P4,Y4,D4),h(C5,N5,P5,Y5,D5)],

member(Z1,Rooms),color(Z1,red),nation(Z1,englishman),

member(Z2,Rooms),nation(Z2,spaniard),pet(Z2,dog),

first(Z3,Rooms),nation(Z3,norwegian),

member(Z4,Rooms),cigarette(Z4,kools),color(Z4,yellow),

member(Z5,Rooms),pet(Z5,fox),next(Z6,Z5,Rooms),cigarette(Z6,chesterfields),

member(Z7,Rooms),color(Z7,blue),next(Z8,Z7,Rooms),nation(Z8,norwegian),

member(Z9,Rooms),cigarette(Z9,winston),pet(Z9,snails),

member(Z10,Rooms),cigarette(Z10,'Luck Strike'),drink(Z10,'orange juice'),

member(Z11,Rooms),nation(Z11,ukrainian),drink(Z11,tea),

member(Z12,Rooms),nation(Z12,japanese),cigarette(Z12,pariaments),

member(Z13,Rooms),cigarette(Z13,kools),next(Z13,Z14,Rooms),pet(Z14,horse),

member(Z15,Rooms),color(Z15,green),drink(Z15,coffee),

member(Z16,Rooms),color(Z16,green),next(Z17,Z16,Rooms),color(Z17,ivory),

middle(Z18,Rooms),drink(Z18,milk),

member(Who,Rooms),pet(Who,zebra).