期限订购
可以通过标准排序比较两个术语：
变量 @ <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.