]> Repositorios git - scryer-prolog.git/commit
add variable_names as a write option
authorMark Thom <[email protected]>
Sun, 5 May 2019 04:58:56 +0000 (00:58 -0400)
committerMark Thom <[email protected]>
Sun, 5 May 2019 04:58:56 +0000 (00:58 -0400)
commitbf8a2ab6a6f96c3bb6e69a7ec309008f3c412dfa
treebed45afda24eb61dac5991cbceff2932df510c5b
parentb05cff30448b36841ee0277f34a120d00fb5b981
add variable_names as a write option
src/prolog/clause_types.rs
src/prolog/heap_print.rs
src/prolog/lib/builtins.pl
src/prolog/machine/attributed_variables.rs
src/prolog/machine/machine_errors.rs
src/prolog/machine/machine_state.rs
src/prolog/machine/machine_state_impl.rs
src/prolog/machine/mod.rs
src/prolog/machine/system_calls.rs
src/prolog/machine/term_expansion.rs
src/tests.rs