search

triska / clpz

Constraint Logic Programming over Integers
https://www.metalevel.at/prolog/clpz
184 stars 15 forks source link

tuples_in/2 misses tuple_domain/2 #21

Closed UWN closed 1 year ago

UWN commented 1 year ago

Trying https://github.com/SWI-Prolog/swipl-devel/issues/1160 in SICStus:

| ?- tuples_in([[A,B]],[[11,0],[12,1]]).
! Existence error in clpz:tuple_domain/2
! procedure clpz:tuple_domain/2 does not exist
! goal:  clpz:tuple_domain([_229,_233],[[11,0],[12,1]])
| ?- X in 1..2.
clpz:(X in 1..2) ? 
yes
UWN commented 1 year ago

In Scryer there it is

        ;   new_queue(Q),
            phrase((tuple_domain(Tuple, Us),do_queue), [Q], _),

but here, it is

        ;   tuple_domain(Tuple, Us),
UWN commented 1 year ago

The last relevant change was:

commit 581e055359b9f95376449ed42af1d7b680b78945
Author: Markus Triska <triska@metalevel.at>
Date:   Thu May 13 21:48:18 2021 +0200

    FIXED: correct propagation of tuples_in/2 (#929)

    Many thanks to @notoria for producing a very short test case.
UWN commented 1 year ago

Now:


| ?- tuples_in([[A,B]],[[11,0],[12,1]]).
! Existence error in clpz:list_first_rest/3
! procedure clpz:list_first_rest/3 does not exist
! goal:  clpz:list_first_rest([11,0],_331,_333)