Глава 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].