]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2a3db1) | patch
use select/3 in gather_equations for detecting whether variables are distinct.
authorMark Thom <[email protected]>
Mon, 4 May 2020 02:31:12 +0000 (20:31 -0600)
committerMark Thom <[email protected]>
Mon, 4 May 2020 02:31:12 +0000 (20:31 -0600)
commite5903d8d6eee8da6924334f1d6aad2a8f80d1097
tree246b15d9ebcb310d2880e42fa74da763bb783d9dtree | snapshot
parente2a3db1b825b544d4f3308e759dd53bde31c2210commit | diff
use select/3 in gather_equations for detecting whether variables are distinct.
src/prolog/machine/compile.rs diff | blob | history
src/prolog/toplevel.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust