상위 순서 술어

Question

boolean(true). 
boolean(false). 
formula_0(P, Q):- (P; Q), \+ P. 

solution_for_formula(P, Q, Formula):- 
    maplist(boolean, [P, Q]), call([Formula, P, Q]). 

내 earlier question의 후속 조치. 왜이게 효과가 없을까요? (call([Formula, P, Q])을 formula_0(P, Q)으로 바꾼다면

Answer 1

이 아니라 call([Formula, P, Q])이 필요합니다. 대괄호를 제거하기 만하면됩니다. 오류가 무엇인지 명확하게하려면 다음을 시도하십시오.

?- write_canonical(call([Formula, P, Q])). 
call('.'(_,'.'(_,'.'(_,[])))) 
true. 

즉. 대괄호를 사용하면 (아마도) 정의하지 않은 (.)/2 술어가 호출됩니다. 그러나 호출 할 상위 순서 술어는 call/3이며 인수는 call(Closure, Arg1, Arg2)입니다. 예 : call(formula_0, true, false)은 formula_0(true, false)으로 전화 할 것입니다.