Repositorios git - scryer-prolog.git/commit

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

use acyclic iteration when projecting onto query vars

FORK: A modern Prolog implementation written mostly in Rust

src/prolog/instructions.rs		diff \| blob \| history
src/prolog/lib/builtins.pl		diff \| blob \| history
src/prolog/machine/attributed_variables.rs		diff \| blob \| history
src/prolog/machine/system_calls.rs		diff \| blob \| history
src/prolog/write.rs		diff \| blob \| history
src/tests.rs		diff \| blob \| history