Как встроить цель с помощью findall / 3 (используйте только один предикат)? - PullRequest
Новая
       22

Как встроить цель с помощью findall / 3 (используйте только один предикат)?

1 голос
/ 11 апреля 2019

У меня есть база знаний, которая выглядит примерно так 

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 ?

1 Ответ

2 голосов
/ 11 апреля 2019

Вы можете встроить процедуру find_item/1 как цель findall/3 (использовать сочетание целей вместо одной цели): 

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