預定義的運算子

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`