]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62c9b83) | patch
dif/2: Succeed unconditionally if the arguments are not unifiable.
authorMarkus Triska <[email protected]>
Sat, 22 Aug 2020 15:47:42 +0000 (17:47 +0200)
committerMarkus Triska <[email protected]>
Sat, 22 Aug 2020 15:50:15 +0000 (17:50 +0200)
commite75ebd9b6e947fdc2bca6dacad88012290a28f19
tree633abced14f9b52597e80804089495f7ee677cebtree | snapshot
parent62c9b8390b331a838e7c9828c7b27e94133af3f2commit | diff
dif/2: Succeed unconditionally if the arguments are not unifiable.

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