prolog - Prolog给出实例化错误

Question

我被作业中的序言错误困扰了很长时间。

我尝试使用添加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

任何指针都会极大地帮助我完成作业。

Answer 1

问题是当 Prolog 尝试计算 Cost2 的值时，F 的值仍然未知，因此添加尝试会导致实例化错误。当达到加法时，您应该确保 F 是基值。