統一列表列表prolog

Question

我用谷歌搜索了，但找不到答案，所以你走了：

我在prolog中有這個功能：

ing(Lis) :- findall(I,( recipe2(_,ingredients(I,_)) ),Lis).

這個函數搜索並返回一個列表列表，如下所示：

L = [['wheat flour', egg, salt], ['wheat flour', cheese, olives, tomato, salt, basil], ['wheat flour', potatoes, salt], [milk, egg, sugar]].

我想在一個列表中統一列表列表，所以我可以得到重復。 我知道我必須使用遞歸，但這就是我所知道的。

提前致謝。

Answer 1

您可以簡單地修改謂詞，如下所示：

ing(Lis) :-
    setof(E, X^Y^I^( recipe2(X, ingredients(I,Y)), member(E, I) ), Lis).

member/2是一個內置謂詞，它將第一個參數與第二個參數中列表的元素統一起來。 這是不確定的。

X^Y^I^是存在量詞，以確保您只在一個解決方案中獲得結果。 它基本上說，

對於作為成分列表的一部分的任何元素E，存在X，Y和I，（I）。

使用setof/3還可以確保您獲得的任何解決方案都是唯一元素的集合。

---

成員/ 2和setof / 3的文檔（SWI-Prolog）