Prolog-“成员”列表

Question

我有一个名为member的函数，应该将其作为参数：1）名称2）名称列表。

名称列表已在我的程序中定义，因此我希望能够使用名称和已在程序中初始化的列表来调用该方法。

例如，我的Prolog程序包含...

namesList(mike,joe,bob,jill).

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

因此，当我在Prolog提示符下并键入member(mike,namesList). Prolog应该输出true ，但输出false 。

我可以正确调用该函数吗，还是不能使用已经实例化的列表？

Answer 1

首先，Prolog没有功能 ：它具有谓词 。

其次，使用方括号[a,b,c,d]编写一个非空的序言列表，其中空列表由原子[] 。 列表实际上由结构./2表示，其中第一个参数是列表的第一项（ ./2 ），第二个参数是列表的其余部分（另一个非空列表或空列表本身）。 这就是编译器作者喜欢的语法语法 。 所以

• [a]完全等同于.(a,[]) 。
• [a,b]完全等于.(a,.(b,[])) 。
• [a,b,c]完全等于.(a,.(b,.(c,[])))
• 等等

和

• [A|B]完全等于.(A,B) 。

您会看到为什么方括号表示法更易于使用。

所以...您可以在列表中存储您的姓名：

names_list( [mike,joe,bob,jill] ).

在这种情况下，您可以说：

?- names_list( Names ) , member(mike,Names) .
true.

但是 ...如果您以更类似于...序言的方式维护自己的姓名，可能会更容易：

name( mike ) .
name( joe  ) .
name( bob  ) .
name( jill ) .

然后...

• 您可以按照通常的方式检查是否存在：

   ?- N = sam , name(N) , false. 

• 或者，您可以通过回溯遍历它们：

   ?- name(N). N = mike ; N = joe ; N = tim ; N = jill. 

• 而且，如果您确实需要它们作为列表，则很容易以这种形式获取它们：

   ?- findall(N,name(N),Ns). Ns = [mike, joe, tim, jill]. 

最后，请注意，名称列表可以从您的

names_list( mike , joe , bob , jill ).

但这并不是世界上最优雅的东西：

extract( Name , Arguments ) :-
  atom(Name) ,
  current_functor(Name,Arity) ,
  length(Arguments,Arity) ,
  Goal =.. [Name|Arguments] ,
  callable(Goal) ,
  call(Goal)
  .

一旦有了，就可以说：

?- extract(names_list,Names) , member(mike,Name).
true.