在Prolog规则中传递整数

Question

我对Prolog相当陌生，目前我正在努力将整数作为一个规则的参数传递给SWI-Prolog中的另一个规则。例如：

left(B) :- B is B - 1. 

...

cond2(X) :- X = left(4). 

任何帮助，将不胜感激。

Answer 1

你可以尝试以下方法：

left(A,B) :- B is A - 1. 

...

cond2(X) :- left(4,X). 

然后cond2(X)应该返回X = 3。