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

inicial([1,s,s]).

meta([_,l,l]).

ação(entrar1, [2,B,C], [1,B,C]).
ação(entrar2, [1,B,C], [2,B,C]).
ação(aspirar, [1,s,C], [1,l,C]).
ação(aspirar, [2,B,s], [2,B,l]).