]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 137b0cd) | patch
do not traverse data structures when binding to local variables in unify_with_occurs_...
authorMark Thom <[email protected]>
Wed, 3 Feb 2021 18:11:22 +0000 (11:11 -0700)
committerMark Thom <[email protected]>
Wed, 3 Feb 2021 18:11:22 +0000 (11:11 -0700)
commitf5d808e68f0763cbe86f5b7c82e29a4cc6ee7823
treec5cad2c5cb1682bfe39cf8d184b582460989976btree | snapshot
parent137b0cd837875a033b234e7d12c71de7f7960229commit | diff
do not traverse data structures when binding to local variables in unify_with_occurs_check (#781)
src/machine/machine_state_impl.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust