%=============================================================================
%----Create an example where the lack of "occurs check" in unification causes
%----a problem.
%=============================================================================
%-----------------------------------------------------------------------------
%----An occurs check problem. Call with a variable argument.
occurs_check_problem(X):-
    X = f(X).
%-----------------------------------------------------------------------------