预定义的运算符

Created: November-22, 2018

根据 ISO / IEC 13211-1 和 13211-2 的预定义运算符：

优先	类型	算符（S）	使用
`1200`	XFX	`:-` `-->`
`1200`	FX	`:-` `?-`	指令，查询
`1100`	XFY	`;`
`1050`	XFY	`->`
`1000`	XFY	`','`
`900`	FY	`\+`
`700`	XFX	`=` `\\=`	术语统一
`700`	XFX	`==` `\\==` `@<` `@=<` `@>` `@>=`	术语比较
`700`	XFX	`=..`
`700`	XFX	`is` `=:=` `=\=` `<` `>` `=<` `>=`	算术评估和比较
`600`	XFY	`:`	模块资格
`500`	YFX	`+` `-` `/\` `\/`
`400`	YFX	`*` `/` `div` `mod` `//` `rem` `<<` `>>`
`200`	XFX	`**`	浮力
`200`	XFY	`^`	可变量化，整数幂
`200`	FY	`+` `-` `\`	算术身份，否定; 按位补码

许多系统提供其他运算符作为特定于实现的扩展：

优先	类型	算符（S）	使用
`1150`	FX	`dynamic` `multifile` `discontiguous` `initialization`	标准指令
`1150`	FX	`mode` `public` `volatile` `block` `meta_predicate`
`900`	FY	`spy` `nospy`