]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 661f9b7) | patch
correct bugs in verify_attributes handling
authorMark Thom <[email protected]>
Sat, 9 Feb 2019 07:16:57 +0000 (00:16 -0700)
committerMark Thom <[email protected]>
Sat, 9 Feb 2019 07:16:57 +0000 (00:16 -0700)
commit33dbe3bb45f4d2d3fdcf0cbfc180453f2de8da2d
tree47588995b3ac2fdc94c2226580e8a522ed073972tree | snapshot
parent661f9b7414930e3a408a9e6fe03ce3e3d3628e8dcommit | diff
correct bugs in verify_attributes handling
src/prolog/lib/atts.pl diff | blob | history
src/prolog/lib/dcgs.pl diff | blob | history
src/prolog/machine/attributed_variables.rs diff | blob | history
src/prolog/machine/machine_state_impl.rs diff | blob | history
src/prolog/machine/system_calls.rs diff | blob | history
src/tests.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust