期限訂購
可以通過標準排序比較兩個術語：
變數 @ <numbers @ <atoms @ <strings @ <structures @ <lists
筆記：
-
結構首先通過仿函式按字母順序進行比較，然後按照 arity 進行比較，最後通過每個引數的比較進行比較。
-
列表首先按長度進行比較，然後按每個元素進行比較。
| 訂單運算子 | 成功如果 |
|---|---|
| X @ <Y | X 在標準順序中小於 Y. |
| X @> Y. | X 在標準順序中大於 Y. |
| X @ = <Y | X 在標準順序中小於或等於 Y. |
| X @> = Y. | X 在標準順序中大於或等於 Y. |
示例查詢：
?- alpha @< beta.
true.
?- alpha(1) @< beta.
false.
?- alpha(X) @< alpha(1).
true.
?- alpha(X) @=< alpha(Y).
true.
?- alpha(X) @> alpha(Y).
false.
?- compound(z) @< compound(inner(a)).
true.