permuta([ ],[ ]).
permuta(L,[X|L1]):-apaga1(X,L,Li),permuta(Li,L1).

apaga1(X,[X|L],L).
apaga1(X,[Y|L],[Y|L1]):-apaga1(X,L,L1).

permutaAv(LP,Av):-findall(Ta,(tarefa(Ta,_,_,_)),Bruto),
permuta(Bruto,LP),avalia(LP,Av).

:- dynamic melhor_sol_to/2.

atualiza(LP,T):-melhor_sol_to(_,Tm),
				T<Tm,retract(melhor_sol_to(_,_)),asserta(melhor_sol_to(LP,T)),!.


bruto:-
	get_time(Ti),
	(bruto1;true),retract(melhor_sol_to(Lm,Tm)),
	writeln(Lm),writeln(Tm),
	get_time(Tf),Tcomp is Tf-Ti,!,
	write('GERADO EM '),write(Tcomp),
	write(' SEGUNDOS'),nl.

bruto1:-asserta(melhor_sol_to(_,1000000)),!,
permutaAv(LP,Av),atualiza(LP,Av),fail.


bestMan([LA|LP],LA).