單調謂詞的例子

單調謂詞的例子是：

• **** 與 (=)/2 或 unify_with_occurs_check/2 統一
• dif/2，表達術語的不相等
• **CLP(FD) 約束，**如 (#=)/2 和 (#>)/2，使用單調執行模式。

Prolog 斷言只使用單調目標本身就是單調的。

單調謂詞允許宣告性推理：

1. 向查詢新增約束（即目標）最多可以減少，從不擴充套件解決方案集。
2. 刪除此類謂詞的目標最多可以擴充套件，而不是減少解決方案集。