]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6976c0) | patch
ENHANCED: Omit projection of morphed (^)/2 in disentailed constraints.
authorMarkus Triska <[email protected]>
Mon, 9 Oct 2023 19:31:44 +0000 (21:31 +0200)
committerMarkus Triska <[email protected]>
Mon, 9 Oct 2023 19:33:04 +0000 (21:33 +0200)
commit99348ec309a5f8099f15b536f34a7c5910ee1a55
treed72855d4f3335e5507319d27b69e7a2a5b1c845ftree | snapshot
parentc6976c0f927fc04a94dd01c3c7cf7df3024436c2commit | diff
ENHANCED: Omit projection of morphed (^)/2 in disentailed constraints.

Example:

    ?- B #<==> (0^Y/0) #= Z.
       B = 0, clpz:(Y in 0..sup), clpz:(Z in inf..sup).
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust