PROLOG - предложение возвращает true для констант, но не найдет решение для переменной?

Question

После многих лет воздержания от языка программирования PROLOG, я пытаюсь войти в него снова. И быстро, что-то меня смутило.

(я использую SWI пролог 6.4.1 на окнах.)

Рассмотрим следующие определены:

father(jack, clara). 
father(jack, sophie). 

mother(angela,clara). 
mother(angela,sophie). 

parent(A, B) :- father(A, B). 
parent(A, B) :- mother(A, B). 

sibling(A, B) :- 
    A \= B, 
    parent(P, A), 
    parent(P, B). 

Теперь, если я "попросить" переводчика: одноуровневый (Clara, Sophie).

Настоящий является ответом.

Но если я попытаюсь получить братьев и сестер, например. clara: sibling (clara, X).

Ответ только false. Точно так же, как findall (X, sibling (clara, X), L).

возвращает пустой список.

Почему?

Answer 1

Чтобы доказать, что sibling(clara, X), сначала необходимо доказать, что clara \= x. Но это не работает, потому что оно сводится к \+ clara = X, были \+ - это пресловутый negation as failure: Пролог пытается доказать clara = X, который успешно завершен, и делает вывод, что clara \= X должен быть ложным.

Вы должны либо изменить порядок своей программы, чтобы выполнить \= проверку последнего вместо первого, либо использовать dif(clara, X).