]> Repositorios git - scryer-prolog.git/commit
add support for user:goal_expansion
authorMark Thom <[email protected]>
Sun, 9 Dec 2018 07:48:28 +0000 (00:48 -0700)
committerMark Thom <[email protected]>
Sun, 9 Dec 2018 07:48:28 +0000 (00:48 -0700)
commita4406f784a67dd6cd49a14d4fd416d2eecdd6e0f
tree32dd9471b50c5fbd6c2ca7273954b55639906e55
parentdeabdafa48855c9b29391561a801a3a5378b2e23
add support for user:goal_expansion
src/prolog/compile.rs
src/prolog/heap_print.rs
src/prolog/instructions.rs
src/prolog/machine/machine_state.rs
src/prolog/machine/mod.rs
src/prolog/machine/term_expansion.rs
src/prolog/read.rs
src/prolog/toplevel.rs