Реверс списка, содержащего подсписки

domains
list=integer*
list2=list*
 
Predicates
reverse(list2,list2)
append(list2,list2,list2)
reverse2(list,list)
 
clauses
reverse([X], [X]):- !.
reverse([X | Y], Z):-
    reverse (Y, W), append(W, [X], Z).
    
reverse2([],[]):-!.
reverse2([X|T],Z):- 
    reverse2(T,W),reverse(X,E),append(W,[E],Z).
 
append([],L,L):- !.
append([X|L1],L2,[X|L3]):-
    append(L1,L2,L3).
 
goal
reverse([[1,2],[3,4]],Z).

rev([],[]).
rev([H|T],R) :- atom(H),rev(T,RT), append(RT,[H],R).
rev([H|T],R) :- rev(H,RH),rev(T,RT), append(RT,[RH],R).

domains
list=integer* 
list2=list* 
 
Predicates
reverse(list2,list2) 
reverse2(list,list) 
append(list2,list,list2) 
append2(list,list,list) 
 
 
clauses
 
reverse([], []):- !. 
reverse([X|Y], Z):-     
    reverse (Y, W),reverse2(X,E), append(W, E, Z).
    
 
reverse2([],[]):-!. 
reverse2([X|T],Z):- 
    reverse2(T,E),append2(E,[X],Z).
    
 
append([],L,[L]):- !.
append([X|R1],L2,[X|R3]):- 
    append(R1,L2,R3).
    
 
append2([],L,L):- !.
append2([X|R1],L2,[X|R3]):-
    append2(R1,L2,R3).
 
goal
reverse([[1,2],[3,4],[5,6]],Z).