]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2e044e) | patch
revise InstallVerifyAttrs to remove need for predicate scanning (#3175)
authorMark Thom <[email protected]>
Wed, 26 Nov 2025 07:17:22 +0000 (23:17 -0800)
committerMark Thom <[email protected]>
Wed, 26 Nov 2025 07:17:51 +0000 (23:17 -0800)
commit4bd16b8a2e6c618440b61968b3740a76754991e0
tree64297a1612f8b817d1aa5acf4e3c913999b2a115tree | snapshot
parentf2e044e5b8db6fefdd9bd19c812e88e3e1731b5ccommit | diff
revise InstallVerifyAttrs to remove need for predicate scanning (#3175)
build/instructions_template.rs diff | blob | history
src/machine/attributed_variables.rs diff | blob | history
src/machine/dispatch.rs diff | blob | history
src/machine/mod.rs diff | blob | history
src/machine/system_calls.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust