Prolog术语排序
示例
可以通过标准顺序比较两个术语:
变量@<数字@<原子@<字符串@<结构@<列表
笔记:
结构首先按函子进行比较,然后按Arity进行比较,最后按每个参数的比较进行比较。
列表首先按长度比较,然后按每个元素比较。
查询示例:
?- 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.
热门推荐
1 泰迪狗狗如何训练
3 狗狗训练图
5 狗狗训练方法
6 训练狗狗不咬人
8 敏捷训练狗狗
10 训练狗狗吃饭
11 泰迪狗狗训练
12 狗狗从多大开始训练
13 狗狗训练学校费用
14 怎么去训练狗狗
15 狗狗训练狗狗
16 狗狗训练教程
17 训练狗狗装死
18 泰迪狗狗的训练方法