Как использовать append / 3 для рекурсивного построения списка в прологе? - PullRequest
Новая
       18

Как использовать append / 3 для рекурсивного построения списка в прологе?

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

Мне нужно получить некоторые значения фактов.Эта часть, кажется, работает. 

fact1(A, _, Val1, _, _),
fact2(_, B, Val2, _, _),
A = B,

Но как только я пытаюсь добавить эти значения [(Val1,Val2)] в список (OutList) с помощью предиката append / 3, я получаю только одно возможное решениевместо списка со всеми из них.

Добавление так: append(OutList, [(Val1,Val2)], OutList) тоже не работает.Я чувствую, что мне здесь не хватает чего-то фундаментального.

Так выглядит мой предикат до сих пор. 

buildList(OutList):-
    fact1(A, _, Val1, _, _),
    fact2(_, B, Val2, _, _),
    A = B,
    append([], [(Val1,Val2)], OutList).

Может кто-нибудь указать мне на некоторые ошибки, которые я сделал.Я знаю, что проблему, вероятно, довольно легко найти, но я только начинаю с Пролога / функционального программирования.

Редактировать: Если бы у меня было fact1(a,b,c,d,e). и fact2(f,a,g,h,i), тогда я 'я хочу, чтобы мой предикат дал мне список всех fact2 значений 3-го места и fact1 значений третьего места в виде кортежа, где a совпадает с fact1.Мне трудно объяснить это, извините.

1 Ответ

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

Вы были правы, глядя на использование findall / 3 и должны были его придерживаться.Ваша проблема в том, что вы ушли с правильного пути.Не волнуйтесь, Эйнштейн сделал то же самое с Общей теорией относительности, он осознал свою ошибку и вернулся к правильному пути.

Первая часть - найти отдельные предметы, вторая - собрать их всписок.

Учитывая следующие факты 

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

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

Найдите отдельные предметы: 

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

Затем соберите их в список: 

findall(Item,find_item(Item),Items).

Теперь, чтобы упростить использование, укажите его в предикате: 

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

Пример выполнения: 

?- test(Items).
Items = [(a, b),  (c, c),  (f, e)].

См. Продолжение вопрос для более простого ответа.

...