prolog - PROLOG 如何“连接”相似的对象

Question

嘿，我是 prolog 的新手，想知道：

假设我有这个代码：

component(a,b).  
component(a,c).   
component(a,d).  
component(b,e).  
component(b,f).

我想创建一个 consistsof(X,Y):- component(X,Y); component(Y,Z). 给我的论点：

Y= b,c,d,e,f

所以我想得到“a”的结果加上“a”的结果与（b，e）和（b，f）相连。如果我不是很具体，我很抱歉。

Answer 1

我会使用传递闭包

part_of(Object, Part) :-
    component(Object, C), (Part = C ; part_of(C, Part)).

和setof /3

?- setof(C, part_of(a,C), L).
L = [b, c, d, e, f].

请注意，这需要一个无环图，否则将永远循环