]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfe2574) | patch
execute trust instead of retry at the end of dynamic choice blocks (#1204, #1173)
authorMark Thom <[email protected]>
Wed, 12 Jan 2022 01:24:26 +0000 (18:24 -0700)
committerMark Thom <[email protected]>
Wed, 12 Jan 2022 01:24:26 +0000 (18:24 -0700)
commit67854e07201dbbd56bf0eafe6aba5a6d75740e8e
tree1d5d8194f75f5a880c3062ddea5cecc697ba7486tree | snapshot
parentcfe257495a025fe13087b7d65b6a37d1e87c4a3dcommit | diff
execute trust instead of retry at the end of dynamic choice blocks (#1204, #1173)
src/machine/dispatch.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust