Trouble получить список командировочных путей в Прологе

Question

У меня возникли проблемы со следующей проблемой в Прологе, у меня есть несколько фактов в базе знаний, например:

flight(rome,london,ba,1500,150,400). 
flight(london,newyork,airfrance,600,60,200). 
flight(rome,paris,airfrance,1200,120,500). 
flight(paris,newyork,airfrance,600,60,200). 
flight(newyork,london,ba,1500,240,300). 

Я заинтересован только в получении списка все возможные маршруты от X до Y. Я понимаю, что я должен использовать рекурсивное правило и что мне нужно добавить места, которые были просмотрены в список, чтобы остановить цикл, продолжающийся снова и снова, поскольку траектории полета в базе знаний имеют несколько циклов.

то, что я до сих пор:

flight_route(X,Y):- 
    flight(X,Y,A,B,C,D). 

trip(X,X,[]). 
trip(X,Z,T) :- 
    flight_route(Y,Z), 
    not(member(Y,T)), 
    trip(X,Y,[Y|T]). 

по какой-то причине, когда я смотрю на след, правило не удается, когда он пытается проверить, что нет (член (Y, T)), но я не могу понять, почему это так.

Answer 1

Проблема заключается в вашем определении предиката trip/3. Попробуйте:

В первом пункте, когда вы в пункт назначения, это не имеет значения, как вы туда попали. Следовательно, (анонимная) переменная в третьем аргументе. Кроме того, вероятно, более эффективно найти путь, начинающийся с точки начала, а не точки назначения. Возможной проблемой может быть и то, как вы вызываете предикат trip/3. Не забудьте позвонить ему с пустым списком, переданным по третьему аргументу (если вы не заземлили T, звонок \+ member(Y, T) всегда будет работать). Или определить trip/2 аргумент к абстрактной, что детали реализации:

trip(X, Y) :- 
    trip(X, Y, []). 

Answer 2

В целом,

trip(X,Y) :- 
    closure0(flight_route,X,Y). 

См the definition of closure0/3