[英]Prolog: Return a list of facts from a list of atoms
我非常怀疑这是可能的,但我想知道是否有一种方法可以将原子列表转换为事实列表。 假设两个事实之间不会有原子的重复。
更准确地说,假设我有以下事实清单:
person(Mike, male, 33).
person(Frank, male, 24).
person(Julie, female, 25).
我想打电话
listFacts( [Mike, Frank], L).
哪个应该返回,
L = [person(Mike, male, 33), person(Frank, male, 24)].
您当前正在使用变量(以大写字母开头的标记)。 您必须切换到常量(在本例中为原子): Mike
-> mike
之后很容易,使用setof/3
:
person(mike, male, 33).
person(frank, male, 24).
person(julie, female, 25).
listFacts( Names, List ) :-
setof(person(Name,S,A), (member(Name,Names),person(Name,S,A)), List).
这意味着:从存在事实person(Name,S,A)
的Names
中查找Name
的答案,并将相应的术语person(Name,S,A)
放入名为List
的集合(实际上是一个列表)中。
所以:
?- listFacts([mike,frank],F).
F = [person(frank, male, 24), person(mike, male, 33)].
存在限定的变体也有效:
listFacts( Names, List ) :-
setof(person(Name,S,A), Name^(member(Name,Names),person(Name,S,A)), List).
正确地,它不应该与以下内容相同:
listFacts( Names, List ) :-
setof(person(_Name,S,A), subgoal(Names,S,A), List).
subgoal(Names,S,A) :-
member(Name,Names),
person(Name,S,A).
这给我们没有关于Name
的信息:
?- listFacts([mike,frank],F).
F = [person(_6478, male, 24), person(_6492, male, 33)].
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.