]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d79e22) | patch
actually do lco, and mark unsafe variables before the goals where they last occur...
authorMark Thom <[email protected]>
Thu, 27 Feb 2020 04:57:57 +0000 (21:57 -0700)
committerMark Thom <[email protected]>
Thu, 27 Feb 2020 23:17:20 +0000 (16:17 -0700)
commit993c6f0e7bc89af63f33d88ad3c71045a32a0a0f
treed616dd7c73b8102fb7ef487ff14637f608be3403tree | snapshot
parent1d79e2246815eed8e58bf0d6985891721046a7f6commit | diff
actually do lco, and mark unsafe variables before the goals where they last occur, not just in the last goal
src/prolog/codegen.rs diff | blob | history
src/prolog/fixtures.rs diff | blob | history
src/prolog/machine/machine_state.rs diff | blob | history
src/prolog/machine/machine_state_impl.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust