/****************************************************************************/
/********* PROGRAM: ops *****************************************************/
/****************************************************************************
 
 	This program may be used and amended for non-profit making
 	purposes on condition that this header be left intact and in situ.
 
 	Copyright: Steven Salvini 1986, 1987, 1988
 
 	Amended:
 			Graeme Sandison: 1987
 			Steven Salvini:  1987
 			Steven Salvini:  1988
 
 ****************************************************************************
 
 	ops:
 	declares the operators used
 
 ****************************************************************************/

:- op(900,xfx,:).
:- op(800,xfx,was).
:- op(870,fx,if).
:- op(880,xfx,then).
:- op(450,xfy,#).
:- op(550,xfy,or).
:- op(540,xfy,and).
:- op(530,fx,'NOT').
:- op(300,fx,'derived by').
:- op(300,fx,'derived from').
:- op(600,xfx,from).
:- op(600,xfx,with).
:- op(600,xfx,by).

/****************************************************************************/
/********* END OF PROGRAM: ops **********************************************/
/****************************************************************************/