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为地面值。