Пролога - Помощь пониманию правила

Question

У меня есть база данных, полные факты, такие как:

checkpoint(checkpoint1,checkpoint2,2). 
checkpoint(checkpoint2,checkpoint3,3). 
checkpoint(checkpoint3,checkpoint4,4). 
checkpoint(checkpoint4,checkpoint5,2). 
checkpoint(checkpoint5,checkpoint6,2). 

контрольной точка (например, firstcheckpoint secondcheckpoint, ВремяВМинуты).

Тогда следующие тесты правило, если поездка возможна между двумя контрольно-пропускными пунктами в гонке:

journey(X,Y):- checkpoint(X,_,_), checkpoint(_,Y,_),!; checkpoint(Y,_,_), checkpoint(_,X,_),!. 

journey(X,Y):- checkpoint(X,Z,_), journey(Z,Y). 
journey(X,Y):- checkpoint(Z2,Y,_), journey(X,Z2). 

Обратите внимание, что вы не можете пропустить пункты пропуска, вы можете получить только в checkpoint4 сначала собираюсь 1,2 затем- Вы можете, однако, вернуться назад, например, перейти от контрольной точки 4 до 3.

Я понимаю, что этот код проверяет, возможно ли путешествие между двумя контрольно-пропускными пунктами, если между X и Y имеется промежуточная контрольная точка, которая в этом случае Z. Однако я не совсем понимаю, что делает Z2. Я предполагаю, что его просто используют в качестве другого промежуточного элемента, например Z, однако почему он называется другой переменной? Не может ли Z2 быть изменен на Z, и он все равно будет работать?

Answer 1

Z2 можно окончательно переименовать в Z в последнем правиле, и логика правила не изменится. Причина, по которой автор не решался использовать Z, вероятно, потому, что эта переменная не обозначает «среднюю точку», как это делает Z в первом правиле.

Лично я бы с более описательными именами переменных - From и To звучат как хорошие кандидаты:

journey(From,To):- checkpoint(From,Mid,_), journey(Mid,To). 
journey(From,To):- checkpoint(Someplace,To,_), journey(From,Someplace). 

Answer 2

Вы можете переименовать переменный без изменения смысла правило, если переименовать все в вхождения одинаковы.

Но первое правило путешествия выглядит неправильно для меня: какой эффект вы ожидаете от сокращений? Дизъюнкция не имеет возможности работать, вызывать первый разрез.

Оставьте только первое правило, то попробуйте ?- findall((X,Y),journey(X,Y),L). Вы увидите единственный ответ L = [ (checkpoint1, checkpoint2)].

Итак, ответ от @dasblinklight (+1) предполагает более глубокое исправление друг от друга переменных переименования: просто перенесите первое правило путешествия ...

EDIT

Эта процедура (без сокращений) расширяет оригинальной спецификации, что позволяет перечислить все возможные поездки, и может соответствовать первоначальному определению:

journey(X, Y):- 
    journey([], X, Y). 
journey(Visited, X, Y) :- 
    (checkpoint(X, I, _) ; checkpoint(I, X, _)), 
    \+ memberchk(I, Visited), 
    (I = Y ; journey([X|Visited], I, Y)).