Re: [eclipse-clp-users] Need Help, Problem with variables?

Hi,

the call

    delete(_38606, [4, 1, 2, ...], [2, 3], 0, most_constrained, eclipse)

can't succeed since the third parameter (remaining variables) is already
instantiated to list [2,3], while the second parameter (all variables)
is [4,1,2,3].
The mode declaration for for ic:delete/5 is

    delete(-X, +List, -R, ++Arg, ++Select)

i.e., the third parameter is supposed to be a free variable. In any
case, R will be bound to list that is one element shorter than List.


Without comments, I don't exactly understand what's going on in your
code, but you also seem to have some infinite loop between test_f/4 and
queen_mientras/2, which would pose a problem if delete/5 hadn't failed:

    test_f(AllVars,SelX,ChoiX,VarsRem,N) :-  %% called from
queen_mientras/2, AllVars and VarsRem instantiated
        delete(Var, AllVars, VarsRem, 0, SelX), % the problem...
        count_backtracks,
        count_iteraciones,
        indomain(Var, ChoiX),
        queen_mientras(AllVars,VarsRem).  %% AllVars and VarsRem
unchanged, so we'll enter an infinite loop


Cheers,
Thorsten