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

【问题标题】：How to inline a goal with findall/3, (use just one predicate)?如何使用 findall/3 内联目标（仅使用一个谓词）？
【发布时间】：2019-09-02 03:12:27
【问题描述】：

我有一个看起来像这样的知识库

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，并且只使用一个谓词。

我之前曾向question 询问过如何解决类似问题，答案是使用两个谓词。该解决方案如下所示：

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

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

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

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

是否可以仅使用 findall/3 组合这两个谓词？

【问题讨论】：

我更改了标题，以便其他人可以轻松找到并从中学习。虽然您的标题是正确的，但它过于具体，其他人可能会忽略它，即使它有他们需要的东西。
好的，谢谢。看起来我不仅在 prolog 中还有很多要学习的东西。
请注意，根据 Prolog 系统，在 findall/3 目标参数中使用控制结构（例如连词、析取、if-then-else 等）可能会导致性能下降。
@PauloMoura 你的笔记更重要的是只是一个评论。如果是我，我会将其添加为附加答案。很多人不读 cmets。

标签： list prolog tuples prolog-findall

【解决方案1】：

您可以内联过程 find_item/1 作为 findall/3 的目标（使用目标的结合而不是单个目标）：

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

【讨论】：