用X []（空列表）填充列表

Question

fillwith(X,List2):- 
    length(List2,Y) 
    ,Y>=X; 
    append(List2,[[]],List3) 
    ,fillwith(X,List3). 

這裏的問題是，一旦它達到目標，它會啓動它做一些奇怪的事情，它會回到它所做的第一個調用。 例如：

fillwith(3,List2):- 
    length(List2,Y) 
    ,Y>=X; 
    append(List2,[[]],List3) 
    ,fillwith(X,List3). 

在這裏的第一呼叫列表2 = [[]]，在第二呼叫列表2 = [[]，[]]，在第三呼叫列表2 = [[]，[]， []]。然而，當它達到它開始（我猜想回到軌道），並且我最終只與第一個電話。

Answer 1

fillwith(X,List2):- 
    must_be(nonneg, X), 
    length(List2, X), 
    maplist(=([]), List2). 

如果您想追加使用：

fillwith(X, List2), append(List1, List2, List3). 

Answer 2

我現在還不能確定，你想要什麼，但是從評論，您只是想：

 
fillwith(X, Nils) :- 
    length(Nils, X), 
    nils(Nils). 

nils([]). 
nils([[]|Nils]) :- 
    nils(Nils). 

的目標nils(Nils)可以等同地表示爲maplist(=([]),Nils)。

?- fillwith(4, Xs). 
Xs = [[], [], [], []]. 

?- fillwith(X, Xs). 
X = 0, 
Xs = [] ; 
X = 1, 
Xs = [[]] ; 
X = 2, 
Xs = [[], []] ; 
X = 3, 
Xs = [[], [], []] ; 
X = 4, 
Xs = [[], [], [], []] ...