/* IMISCE : Miscellaneous routines (interpreted on the DEC10)

                                                UTILITY
                                                Lawrence
                                                Updated: 11 September 81
*/

        %%%  IMISCE requires no other modules



  continue.


  \=(X,X) :- !, fail.

  \=(X,Y) :- !.


  casserta(X) :- X, !.

  casserta(X) :- !, asserta(X).


  cassertz(X) :- X, !.

  cassertz(X) :- !, assertz(X).


%% clean used to be here. Removed (on EMAS version).


  diff(X,X) :- !, fail.

  diff(X,Y) :- !.


  gcc(X) :- nobt(X), asserta('$gcc'(X)), fail.

  gcc(X) :- retract('$gcc'(Y)), !, X = Y.


%% subgoal removed.