]> Repositorios git - scryer-prolog.git/commit
expand goals inside (\+)/1
authorMark Thom <[email protected]>
Thu, 12 Dec 2019 04:42:15 +0000 (21:42 -0700)
committerMark Thom <[email protected]>
Thu, 12 Dec 2019 04:42:15 +0000 (21:42 -0700)
commit02d8b1441decd8a3bb77bea8171f32e65462c363
tree7c07275b311fc59e417cb21d511af658ac379c94
parent196784bd09f8b56a7352abe5546883161448f1e4
expand goals inside (\+)/1
14 files changed:
README.md
src/prolog/clause_types.rs
src/prolog/iterators.rs
src/prolog/lib/builtins.pl
src/prolog/machine/code_repo.rs
src/prolog/machine/compile.rs
src/prolog/machine/machine_errors.rs
src/prolog/machine/machine_indices.rs
src/prolog/machine/machine_state.rs
src/prolog/machine/machine_state_impl.rs
src/prolog/machine/system_calls.rs
src/prolog/machine/term_expansion.rs
src/prolog/machine/toplevel.rs
src/prolog/toplevel.pl