% Copyright (C) 2015 by Alexandru Cojocaru

% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
% the Free Software Foundation, either version 3 of the License, or
% (at your option) any later version.

% This program is distributed in the hope that it will be useful,
% but WITHOUT ANY WARRANTY; without even the implied warranty of
% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
% GNU General Public License for more details.

% You should have received a copy of the GNU General Public License
% along with this program.  If not, see <http://www.gnu.org/licenses/>.

d(B,C,F,M,S) :- B #< 5,
                C #> 1,
                F #> 1, F #< 5,
                M #> C,
                (S #> F+1; S #< F-1),
                (F #> C+1; F #< C-1),
                B #\= C, B #\= F, B #\= M, B #\= S,
                C #\= F, C #\= M, C #\= S,
                F #\= M, F #\= S,
                M #\= S.

dwellings(B,C,F,M,S) :- fd_domain([B,C,F,M,S], 1, 5), d(B,C,F,M,S).