]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e90669d) | patch
correct non-termination of expand_goal and expand_term
authorMark Thom <[email protected]>
Sat, 15 Dec 2018 02:10:38 +0000 (19:10 -0700)
committerMark Thom <[email protected]>
Sat, 15 Dec 2018 02:10:38 +0000 (19:10 -0700)
commit47a1cfaddc554f1735207da1649e0b7678925c59
treeb3653a9b1ae48c2cc37158bffb7febbb68da3af5tree | snapshot
parente90669d159c46f08634c1dad98b8bed8e597aa8dcommit | 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