添加到序言列表

Question

在练习中，我需要做的第一件事是获取一些事实，将每个地方的存在声明为一个列表。 请有人帮我。

example.
exists(place).
exists(place2).

到目前为止的代码：

listarB([]).
listarB([B|T]):- exists(B),listarB(T).

现在，我尝试获取列表列表。 我需要的每个列表都作为我尝试获取的每个位置的参数。
现在，我有了一个地点列表，我试图获取每个地点的列表作为参数并将它们存储在另一个列表中[[HL | TL]）

到目前为止的代码：

listListBus([],[]).
listListBus([HB|TB],[HL|TL]) :-
   HB = base(_,[_|_],HL),
   listListBus(TB,TL).      

Answer 1

您应该使用findall/3来收集所有“存在”的位置：

listarB(L):-
  findall(B, exists(B), L).