]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1163d14) | patch
ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2
authorMarkus Triska <[email protected]>
Thu, 12 Oct 2023 19:04:22 +0000 (21:04 +0200)
committerMarkus Triska <[email protected]>
Thu, 12 Oct 2023 21:32:04 +0000 (23:32 +0200)
commit6ed9a9983255d0ee44d180b21888c373c818b753
tree78e2fa6ff9bd7a233094120dc240dbf745f1e754tree | snapshot
parent1163d14ea1e71442255671776c2522de75b88028commit | diff
ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2

Example:

    ?- #\ 0#=(Y// -1)/0.
    %@    clpz:(Y in inf..sup).

This addresses #2104.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust