如何使用 findall/3 内联一个目标(只使用一个谓词)?
How to inline a goal with findall/3, (use just one predicate)?
我有一个看起来像这样的知识库
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 组合吗?
您可以内联过程find_item/1
作为findall/3
的目标(使用多个目标的结合而不是单个目标):
test(Items):-
findall((Val1, Val2), (fact1(A, _, Val1, _, _), fact2(_, A, Val2, _, _)), Items).
我有一个看起来像这样的知识库
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 组合吗?
您可以内联过程find_item/1
作为findall/3
的目标(使用多个目标的结合而不是单个目标):
test(Items):-
findall((Val1, Val2), (fact1(A, _, Val1, _, _), fact2(_, A, Val2, _, _)), Items).