partners(stuart,georgie). partners(georgie,stuart).
partners(alan,barbara). partners(barbara,alan).

dislikes(georgie,barbara). dislikes(barbara,georgie).
dislikes(stuart,alan). dislikes(alan,stuart).

isman(A) :- member(A,[alan,chris,dave,ian,jack,stuart]).
iswoman(A) :- member(A,[barbara,ellie,fiona,georgie,helen]).

samesex(A,B) :- ( (isman(A),isman(B)) ; (iswoman(A),iswoman(B)) ), A \= B.

singleroom(A) :- ( ( iswoman(A) ; isman(A) ),\+partners(A,Z) ) ; ( ( iswoman(A) ; isman(A) ),partners(A,Z)).
doubleroom(A,B) :- partners(A,B) ; ( samesex(A,B), \+dislikes(A,B) ).
tripleroom(A,B,C) :- samesex(A,B),samesex(B,C),samesex(A,C),\+dislikes(A,B),\+dislikes(B,C),\+dislikes(A,C).

accommodation(A,B,C,D,E,F,G,H,I,J,K) :- doubleroom(A,B), doubleroom(C,D), tripleroom(E,F,G), tripleroom(H,I,J), singleroom(K), permutation([A,B,C,D,E,F,G,H,I,J,K], [alan,chris,dave,ian,jack,stuart,barbara,ellie,fiona,georgie,helen])  .