]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7bb9c00) | patch
check for True or False Query Resolution unconditionally
authorMark <[email protected]>
Mon, 29 Jan 2024 22:06:56 +0000 (15:06 -0700)
committerMark <[email protected]>
Mon, 29 Jan 2024 22:06:56 +0000 (15:06 -0700)
commit7de693eb2343e517537431acd2690b1270e14857
tree240b6ee012d5ea05d8f0ca30ecb99d2b3a29972dtree | snapshot
parent7bb9c003562a2e8f7f029923165c41b67f94f390commit | diff
check for True or False Query Resolution unconditionally
src/machine/lib_machine.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust