%      Production system KORE/IE (version 12.48)
%
%          (C)1992 Institute for New Generation Computer Technology
%                          (Read COPYRIGHT for detailed information)
%
%      1992.7 Check and refine every programs 
%                             for IFS (ICOT Free Software) release.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%% PRE_DEFINE %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

:- asserta(back_mode(off)).

%%%%% append
append([],L,L) :-
	!.
append([H|T],L,[H|R]) :-
	!,
	append(T,L,R).

%%%%% mem
mem(H,[H|_]) :-
	!.
mem(H,[_|T]) :-
	!,
	mem(H,T).

%%%%% just_member
just_member(X,[H|_]) :-
	X == H,
	!.
just_member(X,[_|T]) :-
	!,
	just_member(X,T).

%%%%% cut_member
cut_member(H,[H|T],T) :-
	!.
cut_member(X,[H|T],[H|R]) :-
	!,
	cut_member(X,T,R).

%%%%% retract_all
retract_all(Functor) :-
	retract(Functor),
	fail.
retract_all(_) :-
	!.

%%%%% list
list([_|_]) :-
	!.
list([]) :-
	!.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%% Operator Definitions %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

:- op(600,fx,[(load),(load_f),(compute),(accept)]).
:- op(700,fx,['>','<','=<','>=','\==','=','==']).
:- op(965,fx,'?').
:- op(845,xfx,then).
:- op(840,xfy,:).
:- op(830,fx,if).
:- op(700,xfy,&).

:- op(300,xfx,#).

:- op(820,xfy,to).

:- op(1200,xfx,(:=)).
:- op(700,fx,define_strategy).
:- op(830,fx,select).
:- op(775,xfy,and).
:- op(825,xfy,instantiation).
:- op(820,fy,by).
:- op(820,fy,with).
:- op(810,fy,comparing).
:- op(800,xfy,time).
:- op(780,xf,constraints).

:- op(1100,fx,(startup)).
:- op(10,fx,use).

