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

update comment

Browse Source
This commit is contained in:
Markus Triska
2023-09-08 22:33:55 +02:00
parent 920e0c6b56
commit 182afe3b7d
1 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/lib/clpz.pl
View File

@@ -2142,16 +2142,17 @@ fds_sespsize([V|Vs], S0, S) :-
fds_sespsize(Vs, S2, S).
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Optimisation uses destructive assignment to save the computed
extremum over backtracking. Failure is used to get rid of copies of
attributed variables that are created in intermediate steps. At
least that's the intention - it currently doesn't work in SWI:
Optimisation uses the clause database to save the computed extremum
over backtracking. Failure is used to get rid of copies of
attributed variables that are created in intermediate steps.
%?- X in 0..3, call_residue_vars(labeling([min(X)], [X]), Vs).
%@ X = 0,
%@ Vs = [_G6174, _G6177],
%@ _G6174 in 0..3
Example:
?- X in 1..3, call_residue_vars(labeling([min(X)], [X]), Vs).
%@ X = 1, Vs = []
%@ ; X = 2, Vs = []
%@ ; X = 3, Vs = []
%@ ; false.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
:- dynamic(extremum/1).