]> Repositorios git - scryer-prolog.git/commitdiff
projects / scryer-prolog.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1ab14ea f34703a)
Merge pull request #2085 from triska/reification_same_queue
authorMark Thom <[email protected]>
Sun, 8 Oct 2023 18:01:26 +0000 (12:01 -0600)
committerGitHub <[email protected]>
Sun, 8 Oct 2023 18:01:26 +0000 (12:01 -0600)
Use the same queue for variables in reified constraints


Trivial merge
FORK: A modern Prolog implementation written mostly in Rust