%% goal: answer(X0, X1)

answer(add, X) :- (X is 1.5 + 2.25).
answer(div, X) :- (X is 7 / 2).