프롤로그에서 인스턴스화 오류가 발생했습니다

Question

숙제의 프롤로그 오류로 인해 매우 오랜 시간 동안 고생했습니다. 어떤 포인터가 크게 숙제를 완료 한 날 도움이 될 것입니다

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

:

나는 is/2를 사용하여 추가를 만들기 위해 노력하고 항상 발생합니다.

Answer 1

문제는 Prolog가 Cost2 값을 계산할 때 F 값이 여전히 알려지지 않았기 때문에 추가 시도가 인스턴스화 오류가된다는 점입니다. 추가에 도달하면 F가지면 값인지 확인해야합니다.