List 如何使用findall/3内联目标（仅使用一个谓词）？

我有一个类似这样的知识库

fact1(1, _, a, _, _).
fact1(2, _, c, _, _).
fact1(3, _, d, _, _).
fact1(4, _, f, _, _).

fact2(_, 1, b, _, _).
fact2(_, 2, c, _, _).
fact2(_, 4, e, _, _).

对于每个（在本例中）数字匹配的

fact1

和

fact2

，我希望有一个对应字母的元组列表。 我想使用

findall/3

，并且只使用一个谓词

我曾经问过一个关于如何解决类似问题的问题，答案是使用两个谓词。该解决方案如下所示：

find_item((Val1,Val2)):-
    fact1(A, _, Val1, _, _),
    fact2(_, A, Val2, _, _).`

test(Items) :-
    findall(Item,find_item(Item),Items).

给定事实示例的结果应如下所示：

[(a, b),  (c, c),  (f, e)]

这两个谓词是否可以使用just组合？

您可以内联过程

查找\u item/1

作为的目标（使用目标的连词，而不是单个目标）：

---

我更改了标题，以便其他人能够轻松找到并从中学习。虽然你的标题是正确的，但它太具体了，其他人可能会忽略它，即使它有他们需要的。好的，谢谢。看起来我不仅要学习prolog，还要学习SO。请注意，根据prolog系统的不同，在

findall/3

goal参数中使用控件构造（例如连接、析取、if-then-else…）可能会导致性能下降。@PauloMoura您的注释作为一条注释更具份量。如果是我，我会加上它作为一个额外的答案。很多人不看评论。

test(Items):-
  findall((Val1, Val2), (fact1(A, _, Val1, _, _), fact2(_, A, Val2, _, _)), Items).