インスタンス化エラーを返すプロローグ

私は宿題のプロローグエラーで非常に長い時間立ち往生しています。インスタンス化エラーを返すプロローグ

私はis/2を使用して追加を作ってみると、それは常に、その結果：

++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

任意のポインタを大幅に宿題を完了して私を助けます。

出典

2012-04-09 stackuser

問題は、PrologがCost2の値を計算しようとすると、Fの値が未知であるため、追加の試行でインスタンス化エラーが発生するという問題があります。追加に達すると、Fが地上値であることを確認する必要があります。

出典

2012-04-09 10:12:36

しかし、私は、F値を正しく代入するのではなく、F値がF + Cost1の代わりに関数呼び出しに直接割り当てられるようにしようとします。 – stackuser

Fの値がわかっていると説明したように、。 Fの値が不明な場合のみエラーを報告します。 –

インスタンス化エラーを返すプロローグ

答えて

関連する問題