Программа, которая выводит N последних элемента списка

domains
list=integer*
 
predicates
nondeterm last(list, integer, integer) %список, кол-во последних элементов, единица для декрементирования
 
clauses
last([X|Tail], N, Z):- last([X|Tail], N, Z), write(Tail), Z=N-1. %смысл в том, что выводится Tail, при этом N уменьшается на 1
last([], N, Z):- Z=0. %Если Z=0, то вывод Tail прекращается.
 
goal
last([1,4,8,10,25], 2, Kol).

predicates
nondeterm last(list, integer, integer)
nondeterm lastN(list, integer, integer)
clauses
last(L, N, Z):- length(L, X), X1=X-N, lastN(L, X1, Z).
lastN(L, 0, L).
lastN([_|Tail], X, L):- X2=X-1, lastN(Tail, X2, L).
 
goal
last([1,4,8,10,25], 2, L).

domains
list=integer*
 
predicates
nondeterm print_n_last(integer,list)
nondeterm lengthList(list,integer)
 
clauses 
print_n_last(A,[H|Tail]) :- lengthList([H|Tail],X), X=A, G=[H|Tail], write(G), nl.
print_n_last(A,[H|Tail]) :- print_n_last(A,Tail).
print_n_last(A,[]).
lengthList([H|Tail],N) :- lengthList(Tail,Nt), N=Nt+1.
lengthList([],N) :- N=0.
 
goal
print_n_last(5,[145,658,157,868,124,5,6]).

last_n(Xs, N, Ys) :-
    my_length(Ys, N),
    my_append(_, Ys, Xs).
 
my_length(L, N) :-
    my_length(L, N, 0).
 
my_length([], N, N0) :-
    integer(N),
    N = N0,
    !.
my_length([], N, N).
my_length([_|T], N, N0) :-
    N1 is N0 + 1,
    my_length(T, N, N1).
 
my_append([], RightList, RightList).
my_append([LeftHead|LeftTeil], RightList, [LeftHead|RightPart]) :-
    my_append(LeftTeil, RightList, RightPart).