% ILP-503 (Prof. Dr. Silvio do Lago Pereira)

inicial([[1,2,3], [], []]).

meta([[], [], [1,2,3]]).

ação(m12, [[X|A],B,C], [A,[X|B],C]) :- B=[] ; (B=[Y|_], X<Y).
ação(m13, [[X|A],B,C], [A,B,[X|C]]) :- C=[] ; (C=[Y|_], X<Y).
ação(m21, [A,[X|B],C], [[X|A],B,C]) :- A=[] ; (A=[Y|_], X<Y).
ação(m23, [A,[X|B],C], [A,B,[X|C]]) :- C=[] ; (C=[Y|_], X<Y).
ação(m31, [A,B,[X|C]], [[X|A],B,C]) :- A=[] ; (A=[Y|_], X<Y).
ação(m32, [A,B,[X|C]], [A,[X|B],C]) :- B=[] ; (B=[Y|_], X<Y).