F.4 Operators

1	fx	$	Bind top-level variable
200	xfy	^	Existential qualification
200	xfy	^	Arithmetic function
300	xfx	mod	Arithmetic function
400	yfx	*	Arithmetic function
400	yfx	/	Arithmetic function
400	yfx	//	Arithmetic function
400	yfx	<<	Arithmetic function
400	yfx	>>	Arithmetic function
400	yfx	xor	Arithmetic function
500	fx	+	Arithmetic function
500	fx	-	Arithmetic function
500	fx	?	XPCE: obtainer
500	fx	\	Arithmetic function
500	yfx	+	Arithmetic function
500	yfx	-	Arithmetic function
500	yfx	/\	Arithmetic function
500	yfx	\/	Arithmetic function
600	xfy	:	module:term separator
700	xfx	<	Predicate
700	xfx	=	Predicate
700	xfx	=..	Predicate
700	xfx	=:=	Predicate
700	xfx	<	Predicate
700	xfx	==	Predicate
700	xfx	=@=	Predicate
700	xfx	=\=	Predicate
700	xfx	>	Predicate
700	xfx	>=	Predicate
700	xfx	@<	Predicate
700	xfx	@=<	Predicate
700	xfx	@>	Predicate
700	xfx	@>=	Predicate
700	xfx	as	Predicate
700	xfx	is	Predicate
700	xfx	\=	Predicate
700	xfx	\==	Predicate
700	xfx	=@=	Predicate
900	fy	not	Predicate
900	fy	\+	Predicate
1000	xfy	,	Predicate
1050	xfy	->	Predicate
1050	xfy	*->	Predicate
1100	xfy	;	Predicate
1105	xfy	|	DCG disjunction
1150	fx	discontiguous	Directive
1150	fx	dynamic	Directive
1150	fx	module_transparent	Directive
1150	fx	meta_predicate	Head
1150	fx	multifile	Directive
1150	fx	thread_local	Directive
1150	fx	volatile	Directive
1150	fx	initialization	Directive
1200	fx	:-	Introduces a directive
1200	fx	?-	Introduces a directive
1200	xfx	-->	DCGrammar: rewrite
1200	xfx	==>	DCGrammar: rewrite
1200	xfx	:-	head :- body. separator