]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f5dbab) | patch
introduce and use the notion of unlimited inference counting in time/1 (#1039, #2009) triska-time_inferences origin/triska-time_inferences
authorMark <[email protected]>
Mon, 20 Nov 2023 17:53:00 +0000 (10:53 -0700)
committerMark <[email protected]>
Mon, 20 Nov 2023 17:53:00 +0000 (10:53 -0700)
commita234934e50718cc7f8b5b2222a71956fa0926e21
tree94d730aac39807bdb73a727f9c3f9ad785e0e593tree | snapshot
parent3f5dbabc1572f1166046552714b8cb42d804d18fcommit | diff
introduce and use the notion of unlimited inference counting in time/1 (#1039, #2009)
build/instructions_template.rs diff | blob | history
src/forms.rs diff | blob | history
src/lib/time.pl diff | blob | history
src/machine/dispatch.rs diff | blob | history
src/machine/machine_state.rs diff | blob | history
src/machine/system_calls.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust