获取不在第二列表中的元素

Question

我想要完成的是得到“组件”没有被使用的东西。因此，我创建了一个包含所有“组件”和“正在使用的组件”的列表。

我的想法是比较这个列表，并创建另一个列表与不匹配的元素。

component('name 1', 1).
component('name 2', 2).
component('name 3', 3).
component('name 4', 4).
component('name 5', 5).

inUse(1, 'name 1').
inUse(1, 'name 3').
inUse(1, 'name 5').

comp_list(L):- findall(Comp, component(Comp, _), L).
inuse_list(L):- findall(Comp, inUse(_, Comp), L).

我不知道如何做这样的事情：member('name comp', List).，在这里，我可以用其他列表中的每个元素替换'name comp‘。

提前谢谢。

示例：

L1 = ['name 1', 'name 2', 'name 3', 'name 4', 'name 5'] %comp_list(L).
L2 = ['name 1', 'name 3', 'name 5']                     %inuse_list(L).

someRule(R):- comp_list(L1), inuse_list(L2),    %more code, to obtain a list R with:

R = ['name 2', 'name 4'] (Elements lacking on inuse_list)

Answer 1

您可以添加一个简单的递归谓词来获取非comp_list成员的元素。

obtain_elements([],_,[]).
obtain_elements([H|T],L,[H|T1]):-\+member(H,L),obtain_elements(T,L,T1).
obtain_elements([H|T],L,L2):-member(H,L),obtain_elements(T,L,L2).

并把它当作：

someRule(R):- comp_list(L1),
              inuse_list(L2), 
              obtain_elements(L1,L2,R).

或者使用findall/3谓词的另一种方式：

someRule(R):- comp_list(L1),
              inuse_list(L2), 
              findall(X,(member(X,L1),\+member(X,L2)),R).

Answer 2

尽管答案是正确的，但如果需要对数据库中的事实和规则进行推理，最好尽量避免列出列表。在这种情况下，目标未使用的组件很容易定义为

ununsed(Name) :- component(Name, _), \+ inUse(_, Name).

这很好地枚举了未使用的组件。如果要将它们放在列表中，请使用findall/3 over unused/1。然而，在大多数情况下，unused/1的定义更容易与其他纯逻辑关系相结合。

在大多数情况下，聚合原语(如findall/3、aggregate/3等)最好推迟到最后，或者根本不使用。