]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e75ebd9) | patch
dif/2: Omit entailed residual goals, if the arguments are not unifiable.
authorMarkus Triska <[email protected]>
Sat, 22 Aug 2020 15:49:02 +0000 (17:49 +0200)
committerMarkus Triska <[email protected]>
Sat, 22 Aug 2020 15:50:15 +0000 (17:50 +0200)
commitcc77ef680d270913a85e6b2d062ac1950233a9f2
treec10b072da7450b1da64d303cb9059f4f726b5f52tree | snapshot
parente75ebd9b6e947fdc2bca6dacad88012290a28f19commit | diff
dif/2: Omit entailed residual goals, if the arguments are not unifiable.

This addresses #135.
src/lib/dif.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust