添加到列表中序言

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).