From: Markus Triska Date: Sun, 29 Jan 2023 20:48:22 +0000 (+0100) Subject: DOC: use valid Prolog terms as predicate indicators X-Git-Tag: v0.9.2~202^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=95278c221b60c1643171bffdf96878a4b889f61a;p=scryer-prolog.git DOC: use valid Prolog terms as predicate indicators --- diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index ebcaa249..d6223a45 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -304,10 +304,10 @@ There are two major use cases of CLP(ℤ) constraints: The predicates of this library can be classified as: * _arithmetic_ constraints like `(#=)/2`, `(#>)/2` and `(#\=)/2` - * the _membership_ constraints `in/2` and `ins/2` + * the _membership_ constraints `(in)/2` and `(ins)/2` * the _enumeration_ predicates `indomain/1`, `label/1` and `labeling/2` * _combinatorial_ constraints like `all_distinct/1` and `global_cardinality/2` - * _reification_ predicates such as `#<==>/2` + * _reification_ predicates such as `(#<==>)/2` * _reflection_ predicates such as `fd_dom/2` In most cases, [_arithmetic constraints_](#clpz-arith-constraints) @@ -7569,7 +7569,7 @@ fd_size(X, S) :- %% fd_dom(+Var, -Dom) % -% Dom is the current domain (see in/2) of Var. This predicate is +% Dom is the current domain (see `(in)/2`) of Var. This predicate is % useful if you want to reason about domains. It is _not_ needed if % you only want to display remaining domains; instead, separate your % model from the search part and let the toplevel display this