]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc7d98d) | patch
FIXED: propagation for ground tuples
authorMarkus Triska <[email protected]>
Thu, 13 Apr 2023 21:38:55 +0000 (23:38 +0200)
committerMarkus Triska <[email protected]>
Thu, 13 Apr 2023 21:39:45 +0000 (23:39 +0200)
commit5763a4b9df76a097d1b0c045cefe72800d9177e8
tree5a608de56648166fbb7b5ab675c95a35095f623etree | snapshot
parentfc7d98d7488c1538c96b4a1c734be653786209c3commit | diff
FIXED: propagation for ground tuples

Example:

    ?- tuples_in([[A,A]],[[0,1],[2,0]]).
       false.

See https://github.com/triska/clpz/issues/22.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust