小编How*_*heF的帖子

我有以下3个谓词：

times(X, Y):-
    Result is X * Y.
minus(X, Y):-
    Result is X - Y.
plus(X, Y):-
    Result is X + Y.

我想通过例如times(2,2)在plus(X, Y)这样的plus(times(2,2), minus(X, Y))。