<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% 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.
</pre></body></html>