술어 인쇄 아웃 "예기치 않은"거짓

Question

내가 같이 실행되는 방식으로, 술어, likes/2를 작성하려고하고 다음

% Define your facts: 
combo(lindsay,alan). 
combo(chloe,alan). 
combo(cheyanne,alan). 
combo(britney,alan). 

% Define your predicate: 
likes(A,B) :- combo(A,B); combo(B,A). 

:

여기

?- likes(A,alan). 
A = lindsay ; 
A = chloe ; 
A = cheyanne ; 
A = britney ; 

내가 문제를 태클하고 어떻게

지금 직면하고있는 문제는 내 프로그램이 정상적으로 작동하는 동안 기능을 수행하지만 결국에는 오류를 인쇄하고 이유를 이해할 수 없다는 것입니다. 전체 출력은 다음과 같습니다.

?- likes(A,alan). 
A = lindsay ; 
A = chloe ; 
A = cheyanne ; 
A = britney ; 
false. 

Answer 1

짧은 답변. Prolog 최상위 레벨 인터프리터는 u 리에 대한 더 이상의 증명이 없음을 항상 감지 할 수있는 것은 아 U니다. 그래서, 귀하의 경우, 해결책을 준 후 A = britney 그것은 당신에게 또 다른 해결책이 필요한지 묻습니다.

likes(A,alan) 쿼리의 특정 경우에 조건부에 대한 단일 절은 추론 엔진이 combo(A,alan); combo(alan,A)을 증명하려고한다는 것을 의미합니다. 이 분리의 왼쪽 목표는 당신에게 네 가지 해결책을 제공합니다. 그러나 올바른 솔루션은 하나 이상의 솔루션을 제공 할 수도 있지만 엔진에서는 combo/2에 대한 절이 첫 번째 인수로 alan의 절이 없으므로 목표를 시도하여이를 분류 할 수 있습니다. 올바른 목표를 증명하지 못하면 false이 인쇄됩니다.