]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f08f539) | patch
FIXED: enforce equality also for ground elements in tuples
authorMarkus Triska <[email protected]>
Tue, 11 Apr 2023 20:31:09 +0000 (22:31 +0200)
committerMarkus Triska <[email protected]>
Tue, 11 Apr 2023 20:33:19 +0000 (22:33 +0200)
commit5dce7d907572f7646a26214f129c9200340939f7
tree3991c403b33c4cefee912d834f06f17cf7a6b072tree | snapshot
parentf08f539768bf21e7e63209fbbc1d7a263b67dcb2commit | diff
FIXED: enforce equality also for ground elements in tuples

Example:

    ?- tuples_in([[A,B]], [[1,2],[3,4]]),
       tuples_in([[A,B]], [[3,2]]).
       false.

See https://github.com/SWI-Prolog/swipl-devel/issues/1160.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust