如果列表是预定义的，则序言列表搜索返回false

Question

我正在尝试编写一个序言程序，以演示如何使用削减来提高效率。 我正在使用以下成员声明来搜索列表。

member(Element, [Element | _]).
member(Element, [_ | List]) :- member(Element, List).

该函数似乎可以正常工作，例如：

 ?- member(1,[3,1,4]).
true 

我遇到的问题是我需要能够将成员与预先声明的列表一起使用。 像这样：

someList([3,1,4]).

 ?- somelist(X).
X = [3, 1, 4].

3 ?- member(1,somelist).
false.

即使将某列表定义为在第一个测试中起作用的[3,1,4]，当被调用时它也会返回false。 我只需要知道我在做什么错?- member(1,somelist). 返回假。 任何帮助将不胜感激。

Answer 1

someList是不存在的命题的名称，而不是列表，因此它将始终产生false / no。 Prolog接受查询并产生答案。 您似乎想要的是命令式语言中的变量的概念，这里不存在。 例如，您可以向Prolog询问以member(1, X)为成员的所有具有1的列表，或member(1, [3,1,4])特定列表member(1, [3,1,4]) ，但是您不能存储列表并以这种方式询问。

Prolog与知识库一起工作，并通过其知道的规则/谓词，事实和主张来推论真实性。 您需要问它想知道什么。