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

inicial([e,e,e,e]).

meta([d,d,d,d]).

ação(vai,        [e,L,O,R],[d,L,O,R]) :- L\=O, O\=R.
ação(levaLobo,   [e,e,O,R],[d,d,O,R]) :- O\=R.
ação(levaOvelha, [e,L,e,R],[d,L,d,R]).
ação(levaRepolho,[e,L,O,e],[d,L,O,d]) :- L\=O.