不知道又是什么敏感*词惹了度凶，可能是wei信，重发一遍 @kun小宝
题目要求：
interleave(Ls,L). Ls是多个列表组成的列表，且各个列表长度相同，如[ [1,2],[3,4] ]。
要求interleave([ [a,b],[c,d] ], [a,c,b,d] )，Ls内不确定有多少个列表。实现interleave的代码。
代码：
interleave(Ls,[]):-allnull(Ls).
interleave(Ls,L):-
get_heads(Ls,Hs),
get_tails(Ls,Ts),
interleave(Ts,Ln),
append(Hs,Ln,L).
get_heads([],[]).
get_heads(Ls, Heads):-
Ls = [L1|Ln],
L1 = [H|T],
get_heads(Ln,Hs),
Heads = [H|Hs].
get_tails([],[]).
get_tails(Ls, Tails):-
Ls = [L1|Ln],
L1 = [H|T],
get_tails(Ln,Ts),
Tails = [T|Ts].
allnull([]).
allnull(Ls):-
Ls=[[]|T],
allnull(T).
append([],X,X).
append([A|X],Y,[A|Z]):- append(X,Y,Z).

老哥还是强啊 思路很清晰
顺便能解释下allnull的作用吗？感觉没什么用啊
我把它删了程序就出错
改成interleave(Ls,[]):- Ls = [].也错

interleave(X,[a,b,c,d]).%爆堆栈了

e([_],[_]).
e([_|T1],[_|T2]):-
e(T1,T2).
interleave([X],X).
interleave([X,Y|T],R):-
append(X,RR,R),
e(X,Y),
interleave([Y|T],RR).

花式判断质数。
e([_,_],[_,_]).
e([_|T1],[_|T2]):-
e(T1,T2).
interleave([X,Y],R):-
append(X,Y,R),
e(X,Y).
interleave([X,Y|T],R):-
append(X,RR,R),
e(X,Y),
interleave([Y|T],RR).
composite(N):-
length(L,N),
interleave(_,L).
?- composite(7).
no

改进版代码，解决了interleave(A,[1,2,3,4])和interleave([[a|T1],[c,d|T2],[e,f]],[A,b|T3])会爆栈问题。
% 交叉合并列表
interleave(Ls,L):-
var(Ls) ->
(
matrix_list(Trs,L),
trans(Trs,Ls)
);
(
trans(Ls,Trs),
matrix_list(Trs,L)
).
% 矩阵转置
trans([[X]],[[X]]):-!.
trans([[H|T]],[[H]|MT]):-
trans([T],MT),!.
trans(MA,MB):-
var(MA) ->
trans(MB,MA);
(
matrix(MA,M,N), matrix(MB,N,M),
MA=[R1|M1],
trans(M1,M2),!,
set_heads(R1,M2,MB)
).
% 获取矩阵的行列数
matrix([[H|T]],1,N):-
length([H|T],N),!.
matrix([R|MA],M,N):-
length(R,N),
length([R|MA],M),
MM is M - 1,
matrix(MA,MM,N).
% 子列表加头元素
set_heads([],L,L).
set_heads(R,L1,L2):-
R=[H|T],
L1=[H1|T1],
set_heads(T,T1,T2),
L2=[[H|H1]|T2].
% 矩阵转列表
matrix_list([[H|T]],[H|T]).
matrix_list([R1,R2|T],L):-
append(R1,LL,L),
equlen(R1,R2),
matrix_list([R2|T],LL).
% 同长列表
equlen([_],[_]).
equlen([_|T1],[_|T2]):-
equlen(T1,T2).
% 防爆栈版求列表长
length(L, N) :-length(L, 0, N).
length([], N, N).
length([_|Y], X, N) :-
X \== N,
XX is X + 1,
length(Y, XX, N).
append([],X,X).
append([A|X],Y,[A|Z]):- append(X,Y,Z).

这个贴学习中……
高手