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

Question

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

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)]

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

Answer 1

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

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

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

How to inline a goal with findall/3, (use just one predicate)?

list

prolog

tuples

prolog-findall