7. 2 добавить( Элемент, Список) :-
var( Список),  !,
                        % Переменная Список представляет пустой список
Список = [Элемент | Хвост].
добавить( Элемент, [ _ | Хвост]) :-
    добавить( Элемент, Хвост).
принадлежит( X, Список) :-
    var( Список),  !,
                    % Переменная Список представляет пустой список,
                           % поэтому X не может ему принадлежать
fail.
принадлежит( X, [X | Хвост]).
принадлежит( X, [ _ | Хвост] ) :-
    принадлежит( X, Хвост).