Repositorios git - scryer-prolog.git/commit

]> Repositorios git - scryer-prolog.git/commit

add wam_instructions/2 to render predicate instructions as lists of functors

12 files changed:

Cargo.toml		diff \| blob \| history
README.md		diff \| blob \| history
src/prolog/clause_types.rs		diff \| blob \| history
src/prolog/instructions.rs		diff \| blob \| history
src/prolog/lib/diag.pl	[new file with mode: 0644]	blob
src/prolog/machine/heap.rs		diff \| blob \| history
src/prolog/machine/machine_errors.rs		diff \| blob \| history
src/prolog/machine/machine_state_impl.rs		diff \| blob \| history
src/prolog/machine/mod.rs		diff \| blob \| history
src/prolog/machine/system_calls.rs		diff \| blob \| history
src/prolog/macros.rs		diff \| blob \| history
src/prolog/mod.rs		diff \| blob \| history

FORK: A modern Prolog implementation written mostly in Rust