]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11c1ee4) | patch
ENHANCED: Remove no longer needed morphed propagators.
authorMarkus Triska <[email protected]>
Sun, 8 Oct 2023 16:41:02 +0000 (18:41 +0200)
committerMarkus Triska <[email protected]>
Sun, 8 Oct 2023 18:15:56 +0000 (20:15 +0200)
commit743412de33a1ce6e792c0e905a9023b858c870bc
tree17d10138139b2fe124e75251f737d6e1b7b45340tree | snapshot
parent11c1ee44811c4a4e0aecd36eded218157e606078commit | diff
ENHANCED: Remove no longer needed morphed propagators.

This addresses all remaining cases from #2083, excepting (//)/2:

    ?- #\ 1#=(X*X)/0.
       clpz:(X in inf..sup).

    ?- #\ 1#=(X+X)/0.
       clpz:(X in inf..sup).

Still remaining:

    ?- #\ 0#=(Y// -1)/0.
       clpz:(-1*Y#=_A).
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust