]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e12265) | patch
correct answer substitution order, equating variables to themselves (#326)
authorMark Thom <[email protected]>
Wed, 29 Apr 2020 07:45:42 +0000 (01:45 -0600)
committerMark Thom <[email protected]>
Wed, 29 Apr 2020 07:45:42 +0000 (01:45 -0600)
commit7e765fe726da1a3bc9510cc171728eaefb39e0ac
tree7a786c47620522af261ca4f04e029a4ae9eda757tree | snapshot
parent0e1226573a97169fd9d1428c89aa522dd66fee8dcommit | diff
correct answer substitution order, equating variables to themselves (#326)
Cargo.lock diff | blob | history
src/prolog/lib/charsio.pl diff | blob | history
src/prolog/machine/machine_state.rs diff | blob | history
src/prolog/toplevel.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust