% FÁBRICA

% Linhas
linhas([lA]).

% Maquinas
maquinas([ma]).

% Ferramentas
ferramentas([fa,fa,fc]).

% Maquinas que constituem as Linhas
tipos_maq_linha(lA,[ma]).
% ...

% Operações
tipo_operacoes([opt1,opt2,opt3]).
% operacoes deve ser criado dinamicamente
operacoes([op1,op2,op3,op4,op5]).
%operacoes_atrib_maq depois deve ser criado dinamicamente
operacoes_atrib_maq(ma,[op1,op2,op3,op4,op5]).

% classif_operacoes/2 deve ser criado dinamicamente %%atomic_concat(op,NumOp,Resultado)
classif_operacoes(op1,opt1).
classif_operacoes(op2,opt2).
classif_operacoes(op3,opt1).
classif_operacoes(op4,opt2).
classif_operacoes(op5,opt3).
% ...

% PRODUTOS

produtos([pA,pB,pC]).

operacoes_produto(pA,[opt1]).
operacoes_produto(pB,[opt2]).
operacoes_produto(pC,[opt3]).

% ENCOMENDAS

%Clientes
clientes([clA,clB]).

% prioridades dos clientes
prioridade_cliente(clA,1).
prioridade_cliente(clB,2).
% ...

% Encomendas do cliente,
% termos e(<produto>,<n.unidades>,<tempo_conclusao>)
encomenda(clA,[e(pA,1,100),e(pB,1,100)]).
encomenda(clB,[e(pA,1,110),e(pB,1,150),e(pC,1,300)]).
% ...

op_prod_client(op1,ma,fa,pA,clA,1,100,5,60).
op_prod_client(op2,ma,fb,pB,clA,1,100,6,30).
op_prod_client(op3,ma,fa,pA,clB,1,110,5,60).
op_prod_client(op4,ma,fb,pB,clB,1,150,6,30).
op_prod_client(op5,ma,fc,pC,clB,1,300,8,40).
% ...

% :- dynamic operacoes_atrib_maq/2.
% :- dynamic classif_operacoes/2.
% :- dynamic op_prod_client/9.
% :- dynamic operacoes/1.


% Dado uma máquina retorna uma lista de operações e o tempo de ocupação
heuristic_occupancy(M,L,T):-
    get_time(Ti),
    op_fe_sorted_list(M,L),
    occupation_time(semfer,L,T),
    get_time(Tf), Tcomp is Tf-Ti,
    write('Gerado em '), write(Tcomp),
    write(' segundos'),nl.

% Cria pares Ferramenta-Operacao
op_fe_pair(O,F-O):-op_prod_client(O,_,F,_,_,_,_,_,_).
% Cria uma lista de operacoes ordenada alfabeticamente pelas ferramentas das operações
op_fe_sorted_list(M,S):- operacoes_atrib_maq(M,L), maplist(op_fe_pair,L,X), keysort(X,Y), pairs_values(Y,S).
% Calcula tempo de ocupação de uma lista de operações
occupation_time(_,[],0).
occupation_time(F,[H|L],T):- op_prod_client(H,_,F1,_,_,_,_,Tset,Texec), occupation_time(F1,L,T1),
                            ((F1==F,!,T is Texec+T1);T is Tset+Texec+T1).


% Dado uma máquina retorna uma lista de operações e a soma dos tempos de atraso
heuristic_delay(M,L,T):-
    get_time(Ti),
    op_pr_sorted_list(M,L),
    reverse(L,S),
    delay_time(semfer,S,_,T),
    get_time(Tf), Tcomp is Tf-Ti,
    write('Gerado em '), write(Tcomp),
    write(' segundos'),nl.

% Cria pares Prazo-Operacao
op_pr_pair(O,P-O):-op_prod_client(O,_,_,_,_,_,P,_,_).
% Cria uma lista de operacoes ordenada, ascendente, pelos prazos
op_pr_sorted_list(M,S):- operacoes_atrib_maq(M,L), maplist(op_pr_pair,L,X), keysort(X,Y), pairs_values(Y,S).
% Calcula soma dos tempos de atraso de uma lista de operações
delay_time(_,[],0,0).
delay_time(F,[H|L],To,Ta):- op_prod_client(H,_,F1,_,_,_,Prazo,Tset,Texec), delay_time(F1,L,To1,Ta1),
                            ((F1==F,!,To is Texec+To1);To is Tset+Texec+To1),
                            ((To<Prazo,!,Ta is Ta1);Ta is To-Prazo+Ta1).