在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。