:-use_module(library(clpfd)).

%encaixe para fora - 1; encaixe para dentro - 0; A representacao comeca da face esquerda e da a volta no sentido horario
peca(1,[0,1,1,0]).
peca(2,[0,0,1,1]).
peca(3,[1,0,0,1]).
peca(4,[0,1,0,0]).
peca(5,[1,1,1,0]).
peca(6,[0,0,0,0]).
peca(7,[1,1,0,0]).
peca(8,[0,0,1,0]).
peca(9,[1,1,1,1]).
peca(10,[1,0,1,0]).
peca(11,[1,1,0,1]).
peca(12,[0,1,0,1]).
pecaV1([0,0,0]).
pecaV2([1,0,0,0]).
pecaV3([1,1,1]).
pecaV4([1,1,1,0]).

%pecas "virtuais", encaixe para dentro do tabuleiro - 0, encaixe para fora - 1
%pecaEsquerdaBaixo([1,_,_,1]).
%pecaEsquerdaMeio([1,_,_,_]).
%pecaEsquerdaCima([1,1,_,_]).
%PecaCimaEsquerda([_,0,_,_]).
%PecaCimaDireita([_,0,_,_]).
%pecaDireitaCima([_,0,0,_]).
%pecaDireitaMeio([_,_,0,_]).
%pecaDireitaBaixo([_,_,0,1]).
%pecaBaixoDireita([_,_,_,0]).
%pecaBaixoEsquerda([_,_,_,0]).

test([5, 2, 8, 6, 11, 10, 1, 4, 3, 9, 12, 7]).
coiso:- test(X), rapids(X).

encaixaEsquerdaBorder(PecaV1, C, P2) :-
                                element(C, PecaV1, D),
                                element(1, P2, E),
                                E+D #= 1.

encaixaCimaBorder(PecaV2, C, P2):-
                                element(C, PecaV2, B),
                                element(2, P2, C1),
                                B+C1 #= 1.

encaixaDireitaBorder(PecaV3, C, P2):-
                                element(C, PecaV3, E),
                                element(3, P2, D),
                                E+D #= 1.

encaixaBaixoBorder(PecaV4, C, P2):-
                                element(C, PecaV4, B),
                                element(4, P2, C),
                                B+C #= 1.


encaixaDireita(PE,PD):-
                                                element(3,PE,E),
                                                element(1,PD,D),
                                                E+D #= 1.
encaixaCima(PC,PB):-
                                                element(4,PC,C),
                                                element(2,PB,B),
                                                C+B #= 1.



rapids(Vars):-
                        pecaV1(PecaV1),
                        pecaV2(PecaV2),
                        pecaV3(PecaV3),
                        pecaV4(PecaV4),
                        %0 - orientacao para a direita
                        %write('Insere orientacao 0 ou 1: '),
                        %read(O),
                        length(Vars,12),
                        domain(Vars,1,12),
                        all_distinct(Vars),
                        element(1,Vars,P1),
                        element(2,Vars,P2),
                        element(3,Vars,P3),
                        element(4,Vars,P4),
                        element(5,Vars,P5),
                        element(6,Vars,P6),
                        element(7,Vars,P7),
                        element(8,Vars,P8),
                        element(9,Vars,P9),
                        element(10,Vars,P10),
                        element(11,Vars,P11),
                        element(12,Vars,P12),
                        peca(P1,C1),
                        peca(P2,C2),
                        peca(P3,C3),
                        peca(P4,C4),
                        peca(P5,C5),
                        peca(P6,C6),
                        peca(P7,C7),
                        peca(P8,C8),
                        peca(P9,C9),
                        peca(P10,C10),
                        peca(P11,C11),
                        peca(P12,C12),

                        %%%%encaixe lateral
                        encaixaDireita(C1,C2),
                        encaixaDireita(C2,C3),
                        encaixaDireita(C3,C4),
                        encaixaDireita(C5,C6),
                        encaixaDireita(C6,C7),
                        encaixaDireita(C7,C8),
                        encaixaDireita(C9,C10),
                        encaixaDireita(C11,C12),

                        %%%%Encaixes Cima
                        encaixaCima(C1,C5),
                        encaixaCima(C2,C6),
                        encaixaCima(C3,C7),
                        encaixaCima(C4,C8),
                        encaixaCima(C5,C9),
                        encaixaCima(C6,C10),
                        encaixaCima(C7,C11),
                        encaixaCima(C8,C12),

                        %%%%Encaixa Border Esquerda
                        encaixaDireitaBorder(PecaV1, 1, C9),
                        encaixaDireitaBorder(PecaV1, 2, C5),
                        encaixaDireitaBorder(PecaV1, 3, C1),

                        %%%%Encaixa Border Cima
                        encaixaCimaBorder(PecaV2, 1, C1),
                        encaixaCimaBorder(PecaV2, 2, C2),
                        encaixaCimaBorder(PecaV2, 3, C3),
                        encaixaCimaBorder(PecaV2, 4, C4),

                        %%%%Encaixa Border Direita
                        encaixaEsquerdaBorder(PecaV3, 1, C4),
                        encaixaEsquerdaBorder(PecaV3, 2, C8),
                        encaixaEsquerdaBorder(PecaV3, 3, C12),

                        %%%%Encaixa Border Baixo
                        encaixaBaixoBorder(PecaV4, 4, C12),
                        encaixaBaixoBorder(PecaV4, 3, C11),
                        encaixaBaixoBorder(PecaV4, 2, C10),
                        encaixaBaixoBorder(PecaV4, 1, C9),
                        labeling([],Vars).