Evaluate Equation at runtime

Hi everybody,

how can I evaluate an expression given by the user at runtime. I mean
for example given the rule

gleich(X,Y) :-
X is Y.

the user could ask

gleich(1,2-1).

and get true as a result

Thank you very much in advance

Philipp

.