单调谓词的例子

单调谓词的例子是：

• **** 与 (=)/2 或 unify_with_occurs_check/2 统一
• dif/2，表达术语的不相等
• **CLP(FD) 约束，**如 (#=)/2 和 (#>)/2，使用单调执行模式。

Prolog 断言只使用单调目标本身就是单调的。

单调谓词允许声明性推理：

1. 向查询添加约束（即目标）最多可以减少，从不扩展解决方案集。
2. 删除此类谓词的目标最多可以扩展，而不是减少解决方案集。