rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #1727 from triska/clpz_corrections

Browse Source 
DOC: use valid Prolog terms as predicate indicators
This commit is contained in:
Mark Thom
2023-01-30 04:23:52 +01:00
committed by GitHub
parent 5a28366158 95278c221b
commit 26a8fc1a37
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/lib/clpz.pl
View File

@@ -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