]> Repositorios git - scryer-prolog.git/commit
Remove `min/2` and `max/2` when possible
authornotoria <[email protected]>
Sun, 7 Jan 2024 19:15:28 +0000 (20:15 +0100)
committernotoria <[email protected]>
Sun, 7 Jan 2024 19:15:28 +0000 (20:15 +0100)
commit770ead9c05a5427503fffd4f7b2ce83b8d84eb30
tree4d3b7bd292accc7902164bd23df74ebaa9688cd0
parentfe371ff1d100888ebe2b25f4454c6145437ee207
Remove `min/2` and `max/2` when possible

?- A #= min(A,B).
   clpz:(B#>=A), clpz:(A#=min(A,B)). % unexpected.
?- A #= min(A,0).
   clpz:(A in inf..0), clpz:(A#=min(A,0)). % unexpected.
src/lib/clpz.pl