序言：nxn矩陣的n列表

Question

如何在序言中創建nxn矩陣並在矩陣內部列出n爲1. 我可以爲生成列表創建編碼，但不知道如何創建矩陣nxn：

make_num_list(N, List) :- 
    make_list(N, List). 

make_list(N, []) :- 
    N =< 0, 
    !. 
make_list(N, [N|Rest]) :- 
    N > 0, 
    N2 is N - 1, 
    make_list(N2, Rest). 

Answer 1

重複使用您的代碼和您的想法。

make_num_matrix(N, Matrix) :- 
    make_matrix(N, N, Matrix). 

make_matrix(_, N, []) :- 
    N =< 0, 
    !. 
make_matrix(M, N, [R|Rs]) :- 
    make_list(M, R), 
    N2 is N - 1, 
    make_matrix(M, N2, Rs). 

make_list(N, []) :- 
    N =< 0, 
    !. 
make_list(N, [N|Rest]) :- 
    N > 0, 
    N2 is N - 1, 
    make_list(N2, Rest). 

---

?- make_num_matrix(4, M). 
M = [[4, 3, 2, 1], [4, 3, 2, 1], [4, 3, 2, 1], [4, 3, 2, 1]]. 

Answer 2

最Prolog的那裏有between/3，而必將有findall/3

make_matrix(N, M) :- findall(Ns, (between(1,N,_), make_list(N,Ns)), M).