]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe371ff) | patch
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
tree4d3b7bd292accc7902164bd23df74ebaa9688cd0tree | snapshot
parentfe371ff1d100888ebe2b25f4454c6145437ee207commit | diff
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 diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust