]> Repositorios git - scryer-prolog.git/commit
eliminating double counting for call_with_inference_limit.
authorMark Thom <[email protected]>
Thu, 22 Mar 2018 20:15:40 +0000 (14:15 -0600)
committerMark Thom <[email protected]>
Thu, 22 Mar 2018 20:15:40 +0000 (14:15 -0600)
commitf160761cf982b62ff9ac714273b34e2c466c47dd
treeadb6499c84bcd72d0e777bdfd7b2bf5657cd7c40
parente206c8b7fb56ee068cc3b14bb3874a4b0f3d6ca8
eliminating double counting for call_with_inference_limit.
src/prolog/machine/machine_state.rs