Prologルールの整数の受け渡し

Question

私はPrologを初めて使っています。現在、整数を1つのルールの引数として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を返す必要があります。