]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2194 from triska/clpz_monotonic
authorMark Thom <[email protected]>
Sun, 3 Dec 2023 03:16:59 +0000 (20:16 -0700)
committerGitHub <[email protected]>
Sun, 3 Dec 2023 03:16:59 +0000 (20:16 -0700)
support (#=)/3 and (#<)/3 also in the monotonic execution mode


Trivial merge