Mc 3nk1a

% REGLAS

solucion(A) :- sgteLl(e(3,3,0,0),[e(3,3,0,0)],_,[e(3,3,0,0)],_,[],A).

%Siguiente

sgteRe(e(0,0,3,3),V,V,R,R,A,A) :- !.

sgteRe(e(Ma,Ca,Mb,Cb),Lv,V,Lr,R,La,A) :accionRe(e(Ma,Ca,Mb,Cb),e(Mas,Cas,Mbs,Cbs),Acc), not(pertenece(e(Mas,Cas,Mbs,Cbs),Lr)), not(malo(e(Mas,Cas,Mbs,Cbs))), sgteLl(e(Mas,Cas,Mbs,Cbs),Lv,V,[e(Mas,Cas,Mbs,Cbs)|Lr],R,[Acc|La],A).

sgteLl(e(Ma,Ca,Mb,Cb),Lv,V,Lr,R,La,A) :accionLl(e(Ma,Ca,Mb,Cb),e(Mas,Cas,Mbs,Cbs),Acc), not(pertenece(e(Mas,Cas,Mbs,Cbs),Lv)), not(malo(e(Mas,Cas,Mbs,Cbs))), sgteRe(e(Mas,Cas,Mbs,Cbs),[e(Mas,Cas,Mbs,Cbs)|Lv],V,Lr,R,[Acc|La],A).

% HECHOS malo(e(Ma,Ca,_,_)) :- Ca > Ma, Ma > 0. malo(e(_,_,Mb,Cb)) :- Cb > Mb, Mb > 0.

%Acciones

% Llevar 2M -> 1 accionLl(e(Ma,Ca,Mb,Cb),e(Mas,Ca,Mbs,Cb),'1') :- Ma >= 2, Mas is Ma - 2, Mbs is Mb + 2. % Llevar 1M -> 2 accionLl(e(Ma,Ca,Mb,Cb),e(Mas,Ca,Mbs,Cb),'2') :- Ma >= 1, Mas is Ma - 1, Mbs is Mb + 1. % Llevar 2C -> 3 accionLl(e(Ma,Ca,Mb,Cb),e(Ma,Cas,Mb,Cbs),'3') :- Ca >= 2, Cas is Ca - 2, Cbs is Cb + 2. % Llevar 1C -> 4 accionLl(e(Ma,Ca,Mb,Cb),e(Ma,Cas,Mb,Cbs),'4') :- Ca >= 1, Cas is Ca - 1, Cbs is Cb + 1. %Llevar 1M 1C -> 5 accionLl(e(Ma,Ca,Mb,Cb),e(Mas,Cas,Mbs,Cbs),'5') :- Ma >= 1, Ca >= 1, Cas is Ca - 1, Cbs is Cb + 1, Mas is Ma - 1, Mbs is Mb + 1. % Regresar 2M -> 6 accionRe(e(Ma,Ca,Mb,Cb),e(Mas,Ca,Mbs,Cb),'6') :- Mb >= 2, Mbs is Mb - 2, Mas is Ma + 2. % Regresar 1M -> 7 accionRe(e(Ma,Ca,Mb,Cb),e(Mas,Ca,Mbs,Cb),'7') :- Mb >= 1, Mbs is Mb - 1, Mas is Ma + 1. % Regresar 2C -> 8

accionRe(e(Ma,Ca,Mb,Cb),e(Ma,Cas,Mb,Cbs),'8') :- Cb >= 2, Cbs is Cb - 2, Cas is Ca + 2. % Regresar 1C -> 9 accionRe(e(Ma,Ca,Mb,Cb),e(Ma,Cas,Mb,Cbs),'9') :- Cb >= 1, Cbs is Cb - 1, Cas is Ca + 1. % Regresar 1M 1C -> 0 accionRe(e(Ma,Ca,Mb,Cb),e(Mas,Cas,Mbs,Cbs),'10') :- Mb >= 1, Cb >= 1, Cbs is Cb - 1, Cas is Ca + 1, Mbs is Mb - 1, Mas is Ma + 1.

%Pertenece pertenece(X,[X|_]) :- !. pertenece(X,[_|R]) :- pertenece(X,R).