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循环。所以你需要一个带有四个参数的谓词路径/ 4：

var beasts = 'ant 222, bison, ant 333, ant 555, goose 234';
var array = beasts.split(",");
console.log(array.length); // Prints 5 in the console

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

:- 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).

Prolog not_member不做它的工作

1 个答案: