]> Repositorios git - scryer-prolog.git/commit
sort variables in findall_with_existential before computing set difference (#282...
authorMark Thom <[email protected]>
Fri, 13 Mar 2020 19:18:47 +0000 (13:18 -0600)
committerMark Thom <[email protected]>
Fri, 13 Mar 2020 19:18:47 +0000 (13:18 -0600)
commit6c9e704aa8dbf7daf5ee5391b9ba740223f4362b
tree7ec81dbff46e9088326697c65454d6e7f6656447
parentd3eb31e4c36071029d596b5a177306a7e67ea62c
sort variables in findall_with_existential before computing set difference (#282), trawl back changes of (#279)
src/prolog/heap_print.rs
src/prolog/lib/builtins.pl
src/prolog/machine/system_calls.rs