Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- cool(A,X,X):- member(A,X).
- cool(A,X,[A|X]):- \+member(A,X).
- check([A,B,C],[X,Y,Z],[X2,Y2,Z2]):- cool(A,X,X2),cool(B,Y,Y2),cool(C,Z,Z2).
- check([A,B,C],[X,Y,Z],[X2,Y2,Z2]):- cool(A,X,X2),cool(C,Y,Y2),cool(B,Z,Z2).
- check([A,B,C],[X,Y,Z],[X2,Y2,Z2]):- cool(B,X,X2),cool(A,Y,Y2),cool(C,Z,Z2).
- check([A,B,C],[X,Y,Z],[X2,Y2,Z2]):- cool(B,X,X2),cool(C,Y,Y2),cool(A,Z,Z2).
- check([A,B,C],[X,Y,Z],[X2,Y2,Z2]):- cool(C,X,X2),cool(A,Y,Y2),cool(B,Z,Z2).
- check([A,B,C],[X,Y,Z],[X2,Y2,Z2]):- cool(C,X,X2),cool(B,Y,Y2),cool(A,Z,Z2).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement