Глава 8

8. 2 добавить_в_конец( L1-[Элемент | Z2], Элемент, L1 - Z2).

8. 3 обратить( А - Z, L - L) :-
                        % Результатом является пустой список,
                                % если A-Z представляет пустой список
    А == Z,  !.
обратить( [X | L] - Z, RL - RZ ) :-
                        % Непустой список
    обратить( L - Z, RL - [X | RZ].