Repositorios git - scryer-prolog.git/commit

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

fix goal expansion in disjunctions, add warnings for singleton variables

FORK: A modern Prolog implementation written mostly in Rust

Cargo.toml		diff \| blob \| history
src/prolog/codegen.rs		diff \| blob \| history
src/prolog/forms.rs		diff \| blob \| history
src/prolog/iterators.rs		diff \| blob \| history
src/prolog/lib/dcgs.pl		diff \| blob \| history
src/prolog/machine/compile.rs		diff \| blob \| history
src/prolog/machine/dynamic_database.rs		diff \| blob \| history
src/prolog/machine/mod.rs		diff \| blob \| history
src/prolog/machine/term_expansion.rs		diff \| blob \| history
src/prolog/machine/toplevel.rs		diff \| blob \| history
src/tests.rs		diff \| blob \| history