]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92b85d4) | patch
Correct arithmetic inequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614...
authorMarkus Triska <[email protected]>
Sun, 7 Jan 2024 08:31:33 +0000 (09:31 +0100)
committerMarkus Triska <[email protected]>
Sun, 7 Jan 2024 08:33:54 +0000 (09:33 +0100)
commit2f783f0aefc608164d0dfb9f8fd9d3204def95d6
treef6d4fab6a58a53bdcf5e0ececd4139b390f800aatree | snapshot
parent92b85d4ba607877f5562633435c8e583eb54fdcccommit | diff
Correct arithmetic inequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614552e082555.

Example:

    ?- X #>= Y.
    %@    clpz:(X#>=Y).
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust