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

inicial(0).

meta(10).

ação(inc, A, B, 1) :- B is A+1.
ação(dec, A, B, 1) :- B is A-1.
ação(dup, A, B, 2) :- B is A*2.
ação(div, A, B, 2) :- B is A//2.
ação(inv, A, B, 2) :- B is -A.