Пролог, дающий ошибку создания ошибки

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 является основным значением при достижении добавления.