Question

我刚刚开始使用Prolog，我无法弄清楚为什么以下内容无法正常工作。我正在尝试创建一个谓词，如果列表L2包含在L1中，则该谓词返回true。这就是我写的：

assert(contains (L1, L1)).
assert(contains(L1, [X|L2]):-member(X, L1), contains(L1, L2)).
assert(contains(L1, [])).

我认为这将相当于“如果'L3 = X | L2'的X在L1中，并且L2在L1中则为真”，包含（L1，L2）被递归地翻译，直到所有成员已遍历，我们留下最后一个选项，或者我们找到一个不在L1中的成员，它将使谓词失败。

不幸的是，它似乎没有这样的方式。它似乎只返回成员（X，L1）的值，因此包含（[1,2,3]，[1,4,5]）通过，但包含（[1,2,3]，[4， 1,5]）没有。

我做错了什么？

Answer 1

我没有完全理解你的问题，但我会像这样编写contains/2谓词：

% An empty list is contained by any list
contains(_, []).

% If a list is not empty, then its
% first element must be an element of L1,
% and its tail must be contained by L1.
contains(L1, [X | L2]) :-
    member(X, L1),
    contains(L1, L2).

不过，请注意你的第一条规则（事实）

contains (L1, L1).

是语法错误（谓词名称后面不应有空格）。此外，如果更正，它将创建一个不需要的选择点。所以，请删除它。

如果您想在Prolog提示符上使用assert/1，请执行

?- assert(contains(_, [])).

Yes
?- assert(contains(L1, [X | L2]) :- (member(X, L1), contains(L1, L2))).

Yes

要查看最终在知识库中的内容，请使用listing/0。

?- listing.

:- dynamic contains/2.

contains(_, []).
contains(B, [A|C]) :-
    member(A, B),
    contains(B, C).

Yes

我认为问题不在于您在自己的答案中指出的“声明自由变量”。相反，请检查您的包围。

Answer 2

显然在自由变量上使用断言会导致问题（至少在这个版本中），所以这就是它行为不端的原因。删除断言并使用consult（file）命令解决了这个问题。

Prolog谓词问题

2 个答案: