]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27b971c) | patch
FIXED: corrections to expansion_simpler/2
authorMarkus Triska <[email protected]>
Mon, 2 Oct 2023 21:17:06 +0000 (23:17 +0200)
committerMarkus Triska <[email protected]>
Mon, 2 Oct 2023 21:17:06 +0000 (23:17 +0200)
commitf3b848537aef601b13bd525df09ee74f5bbeeae9
tree3622ee0d04e11d3ecfce4e8fd697b25da1fbb891tree | snapshot
parent27b971cbfa92f8f2ab9fac054998094fd28338b0commit | diff
FIXED: corrections to expansion_simpler/2

Example:

    ?- X = 0, Y = 0, Z #= X-1 + Y-1.
       X = 0, Y = 0, Z = -2.

This addresses #2064.

See ca5a5b4392bfbed8cfdbb3b2e7dbaa42ea193007 for a previous issue in
this logic.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust