prolog中的算术变量

Question

我想用变量处理算术表达式。变量应保持不变，其他部分应计算。例如，

?-result(7*x,R).
R=7*x.

?-result(x+(2*3),R).
R=x+6.

我该怎么做？