我在这里遇到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] ...
如果您需要事实让我知道,您的帮助将不胜感激。谢谢!
最佳答案
问题不在于(\ ==)/ 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
关于list - 序言not_member不做工作,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34124035/