]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb624cc) | patch
FIXED: correctly reify (/)/2.
authorMarkus Triska <[email protected]>
Tue, 10 Jan 2023 16:10:45 +0000 (17:10 +0100)
committerMarkus Triska <[email protected]>
Tue, 10 Jan 2023 16:35:43 +0000 (17:35 +0100)
commit2fe1d2ef533322531bd12f00cbcb59a688781caf
tree6e94a466d5a2a165f03f3f8832731da5a8eb45eetree | snapshot
parentbb624cc971e02913c039b60a0e16cbf4d06694c7commit | diff
FIXED: correctly reify (/)/2.

Example:

    ?- 0 #==> X #= 1/2.
    %@    clpz:(X in inf..sup)
    %@ ;  false.

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