]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d719ab) | patch
backtrack attributed variable bindings after failure (#242)
authorMark Thom <[email protected]>
Fri, 29 Nov 2019 17:47:22 +0000 (13:47 -0400)
committerMark Thom <[email protected]>
Fri, 29 Nov 2019 17:47:22 +0000 (13:47 -0400)
commit3e49db1a296b84c21de70ed61175c6394ffc6196
tree9c066966a9108971714ddaedf5557d231066d8datree | snapshot
parent2d719ab6b79d6fc490ce0ac6a4f7eddfddd36a7acommit | diff
backtrack attributed variable bindings after failure (#242)
src/prolog/machine/attributed_variables.pl diff | blob | history
src/prolog/machine/attributed_variables.rs diff | blob | history
src/prolog/machine/copier.rs diff | blob | history
src/prolog/machine/machine_state.rs diff | blob | history
src/prolog/machine/machine_state_impl.rs diff | blob | history
src/prolog/machine/or_stack.rs diff | blob | history
src/prolog/toplevel.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust