list - 序言not_member不做工作

Question

我在这里遇到Prolog问题，我正在尝试将唯一机场纳入列表，但我的谓词无法按预期运行。

not_member(C, []).
not_member(C, [H|L]) :-
   not_member(C, L),
   C \== H.

path(X, Y, [X,Y]) :-
   flight(X, Y, _, _, _, _).
path(X, Y, [X,P]) :-
   not_member(Z, P), 
   flight(X, Z, _, _, _, _),
   flight(Z, Y, _, _, _, _), 
   path(Z, Y, P).

带有预期答案的示例查询:

?- path(dublin, rome, L)
L = [dublin, rome] ;
L = [dublin, paris, rome] ...

如果您需要事实让我知道，您的帮助将不胜感激。谢谢!

Answer 1

问题不在于(\ ==)/ 2。问题在于，未实例化的P将导致not_member / 2循环。因此，您需要具有四个参数的谓词path / 4:

:- use_module(library(basic/lists)).
path(_, X, L, _) :- member(X, L), !, fail.
path(X, X, L, [X|L]).
path(Y, X, L, R) :-
   flight(Z, X),
   path(Y, Z, [X|L], R).

上面的谓词从目标机场向后搜索，因此我们不需要反转结果列表。这是一个示例数据库:

flight(zurich, frankfurt).
flight(frankfurt, zurich).
flight(zurich, munich).
flight(munich, zurich).
flight(munich, frankfurt).
flight(frankfurt, munich).

这是一个示例运行:

Jekejeke Prolog 2, Runtime Library 1.2.5
(c) 1985-2017, XLOG Technologies GmbH, Switzerland

?- path(zurich, frankfurt, [], L).
L = [zurich,frankfurt] ;
L = [zurich,munich,frankfurt] ;
No