0

I am stuck up for a very long time with the prolog error in my homework.

I try to make a addition using is/2 and it always results in:

++Error[XSB/Runtime/P]: [Instantiation] ++Error[XSB]: [Runtime/C] Uninstantiated
 argument of evaluable function +/2
   Goal: _Var + 2, probably as 2nd arg of is/2

Any pointer will greatly help me in completing my homework.

4

1 に答える 1

1

問題は、Prolog が Cost2 の値を計算しようとしたときに、F の値がまだ不明であるため、加算を試みるとインスタンス化エラーが発生することです。加算に達したとき、F がグラウンド値であることを確認する必要があります。

于 2012-04-09T10:12:36.120 に答える