Prolog Language Monotonicity Examples of monotonic predicates
Example
Examples of monotonic predicates are:
- unification with
(=)/2orunify_with_occurs_check/2 dif/2, expressing disequality of terms- CLP(FD) constraints like
(#=)/2and(#>)/2, using a monotonic execution mode.
Prolog predicates that only use monotonic goals are themselves monotonic.
Monotonic predicates allow for declarative reasoning:
- Adding a constraint (i.e., a goal) to a query can at most reduce, never extend, the set of solutions.
- Removing a goal of such predicates can at most extend, never reduce, the set of solutions.
