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

虽然答案是正确的，但是如果你需要在数据库中推理事实和规则，那么尽可能避免列表要好得多。在这种情况下，目标未使用的组件很容易定义为

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

这很好地枚举了未使用的组件。如果您希望将它们列在列表中，请findall/3使用unused/1。在大多数情况下，尽管unused/1的定义更容易与其他纯逻辑关系结合起来。

在大多数情况下，聚合原语（如findall/3，aggregate/3等）最好延迟到最后或根本不使用。

Answer 2

您可以添加一个简单的递归谓词来获取不属于comp_list成员的inuse_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).

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

2 个答案: