]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47a1cfa) | patch
correct non-termination of expand_goal and expand_term
authorMark Thom <[email protected]>
Sat, 15 Dec 2018 07:04:56 +0000 (00:04 -0700)
committerMark Thom <[email protected]>
Sat, 15 Dec 2018 07:04:56 +0000 (00:04 -0700)
commit2b774f3041c9313ca344c693e2ea7d146d4c365e
tree8910481a22ed7ccce15fbeccd7fb5e1f6aefb4a1tree | snapshot
parent47a1cfaddc554f1735207da1649e0b7678925c59commit | diff
correct non-termination of expand_goal and expand_term
src/prolog/instructions.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust