]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a88d17) | patch
move SGC and call inference instructions over to SystemClauseType
authorMark Thom <[email protected]>
Tue, 15 May 2018 06:23:42 +0000 (00:23 -0600)
committerMark Thom <[email protected]>
Tue, 15 May 2018 06:23:42 +0000 (00:23 -0600)
commit8f1d721477a7a3168047b87ab15c53a65ca923e5
tree3957a85ae64374ec71f4d2d29cb332b3793c81f5tree | snapshot
parent9a88d179d1d38de2f59018e3de97431d4ff89efecommit | diff
move SGC and call inference instructions over to SystemClauseType
src/prolog/ast.rs diff | blob | history
src/prolog/io.rs diff | blob | history
src/prolog/machine/machine_state.rs diff | blob | history
src/prolog/machine/machine_state_impl.rs diff | blob | history
src/prolog/machine/system_calls.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust