Question

Something like this:

increment(X, X2 is X + 1).

Is there any way to do it?

Answer 1

no.

well, unless having a wrapper predicate for increment/3 that will perform the operation and then call the real increment/3 is considered valid.

edit: lets assume that you want to write a wrapper for foo(Arg1, Arg2, Arg3) so that you can pass an expression as a second argument. The wrapper would be:

efoo(Arg1, Expr, Arg3):-
    Arg2 is Expr,
    foo(Arg1, Arg2, Arg3)

in case you want to do this a lot, you might want to abstract that behaviour:

eval_call(Predicate, Expressions):-
    maplist(evaluate, Expression, Args),
    call(Predicate,Args).

evaluate(Expr, Arg):-
    Arg is Expr.