]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ef8ab6) | patch
push of preliminary delimited continuations library cont.pl (#136)
authorMark Thom <[email protected]>
Sat, 21 Dec 2019 05:27:49 +0000 (22:27 -0700)
committerMark Thom <[email protected]>
Sat, 21 Dec 2019 05:27:49 +0000 (22:27 -0700)
commit3bf1cbbe6ccd2ada0e595bae872af34f6cacb1c9
treeeb019d76134ef95cc2cc49971595791f3b6ea17dtree | snapshot
parent4ef8ab6e767bff0864aba91d39e7783ec397c380commit | diff
push of preliminary delimited continuations library cont.pl (#136)
13 files changed:
Cargo.lock diff | blob | history
Cargo.toml diff | blob | history
README.md diff | blob | history
src/prolog/clause_types.rs diff | blob | history
src/prolog/heap_print.rs diff | blob | history
src/prolog/instructions.rs diff | blob | history
src/prolog/lib/cont.pl diff | blob | history
src/prolog/machine/attributed_variables.rs diff | blob | history
src/prolog/machine/heap.rs diff | blob | history
src/prolog/machine/machine_indices.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/system_calls.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust