]> Repositorios git - scryer-prolog.git/commit
add library(reif)
authorMark Thom <[email protected]>
Sat, 16 Feb 2019 23:34:38 +0000 (16:34 -0700)
committerMark Thom <[email protected]>
Sat, 16 Feb 2019 23:34:38 +0000 (16:34 -0700)
commitb7dd76bf37cfbf8341a18d52f4ec61df4efacf93
treeaaf3cb74d362d86c6593a64566ef1011a612f9c0
parentd2afd2dd195cf9ea1dc048a9aee75fee56c0cb14
add library(reif)
README.md
src/prolog/codegen.rs
src/prolog/instructions.rs
src/prolog/lib/reif.pl [new file with mode: 0644]
src/prolog/machine/attributed_variables.rs
src/prolog/machine/machine_errors.rs
src/prolog/machine/machine_state.rs
src/prolog/machine/mod.rs
src/prolog/machine/system_calls.rs