Repositorios git - scryer-prolog.git/commit

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

implement dynamic, multifile, and discontiguous properties and callable type checking for predicate_property/2

src/clause_types.rs		diff \| blob \| history
src/loader.pl		diff \| blob \| history
src/machine/loader.rs		diff \| blob \| history
src/machine/machine_indices.rs		diff \| blob \| history
src/machine/mod.rs		diff \| blob \| history
src/write.rs		diff \| blob \| history

FORK: A modern Prolog implementation written mostly in Rust