]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d32d452) | patch
do not check for non-unifiability in dif:attribute_goals, which is sure to succeed...
authorMark Thom <[email protected]>
Tue, 2 Mar 2021 16:50:25 +0000 (09:50 -0700)
committerMark Thom <[email protected]>
Tue, 2 Mar 2021 17:34:25 +0000 (10:34 -0700)
commit5976e2d873df232412f262211b1a85d84bead36f
tree179f126031c76bc7337fca652f437c5899ff32aftree | snapshot
parentd32d452583df08fd0ffa861e2d034be59b23276bcommit | diff
do not check for non-unifiability in dif:attribute_goals, which is sure to succeed, resulting in no goals being printed at top-level (#844)
src/lib/dif.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust