Did you know ... Search Documentation:
Operators

F.4 Operators

1fx$Bind top-level variable
200xfy^Existential qualification
200xfy^Arithmetic function
300xfxmodArithmetic function
400yfx*Arithmetic function
400yfx/Arithmetic function
400yfx//Arithmetic function
400yfx<<Arithmetic function
400yfx>>Arithmetic function
400yfxxorArithmetic function
500fx+Arithmetic function
500fx-Arithmetic function
500fx?XPCE: obtainer
500fx\Arithmetic function
500yfx+Arithmetic function
500yfx-Arithmetic function
500yfx/\Arithmetic function
500yfx\/Arithmetic function
600xfy:module:term separator
700xfx<Predicate
700xfx=Predicate
700xfx=..Predicate
700xfx=:=Predicate
700xfx<Predicate
700xfx==Predicate
700xfx=@=Predicate
700xfx=\=Predicate
700xfx>Predicate
700xfx>=Predicate
700xfx@<Predicate
700xfx@=<Predicate
700xfx@>Predicate
700xfx@>=Predicate
700xfxasPredicate
700xfxisPredicate
700xfx\=Predicate
700xfx\==Predicate
700xfx=@=Predicate
900fynotPredicate
900fy\+Predicate
1000xfy,Predicate
1050xfy->Predicate
1050xfy*->Predicate
1100xfy;Predicate
1105xfy|DCG disjunction
1150fxdiscontiguousDirective
1150fxdynamicDirective
1150fxmodule_transparentDirective
1150fxmeta_predicateHead
1150fxmultifileDirective
1150fxthread_localDirective
1150fxvolatileDirective
1150fxinitializationDirective
1200fx:-Introduces a directive
1200fx?-Introduces a directive
1200xfx-->DCGrammar: rewrite
1200xfx==>DCGrammar: rewrite
1200xfx:-head :- body. separator

Tags are associated to your profile if you are logged in
Tags: