4 Standard Operators

:- op(1200, xfx, [ :- , --> ]).
:- op(1200, fx, [ :- , ?- ]).
:- op(1100, xfy, [ ; ]).
:- op(1050, xfy, [ -> ]).
:- op(1024, xfx, [ '::' ]).
:- op(1000, xfy, [ ',' ]).
:- op(900, fy, [ \+ , spy , nospy ]).
:- op(700, xfx, [ = , \= , ?= , == , \== , @< , @=< , @> , @>= ,
    =.. , is , =:= , =\= , < , =< , > , >= ]).
:- op(600, xfx, [ not_free_in , is_free_in , is_not_free_in ]).
:- op(500, yfx, [ + , - , /\ , \/ ]).
:- op(500, fy, [ message_choice ]).
:- op(452, xfx, [ ->> , +>> , <<- , <<= ]).
:- op(400, yfx, [ * , / , // , rem , mod , << , >> ]).
:- op(200, xfx, [ ** ]).
:- op(200, xfy, [ {} ]).
:- op(200, fy, [ ? , @ , + , - , \ ]).
:- op(100, xfx, [ @ ]).
:- op(50, xfx, [ : ]).
Table of Contents Getting Started Syntax Built-in Predicates Standard Operators Notation Index