not a valid element for clpfd_reifiable_expression

[Domenico Corapi]

Dear all,

I've come across a little problem when using clp over finite domain. 

   ?- X = 2, B #<==> (X in 1..3).

     ERROR!!

     DOMAIN ERROR- : 2 in 1..3 not a valid element for clpfd_reifiable_expression

The strange thing is that SWI doesn't have the same problem and succeeds. 

Out of curiosity, single quotes seem to affect integers in some strange way, is there a reason for this:

?- X = 2'.

X = 0 ? 

?- X = 100'.

   | '

   | .

     SYNTAX ERROR at user, near line 11:

 X = 100

<==== HERE ====>

 .

   ?- X = 51'.

     SYNTAX ERROR at user, near line 18:

 X = []

<==== HERE ====>

 5.

Thanks in advance,

Domenico

(Really sorry if this is a repeated message, I sent it already but from the wrong email account)

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

[Vitor Santos Costa-2]

Dear Domenico

My apologies for the very long lag tme :(
> I've come across a little problem when using clp over finite domain.

>    ?- X = 2, B #<==> (X in 1..3).
>      ERROR!!
>      DOMAIN ERROR- : 2 in 1..3 not a valid element for
> clpfd_reifiable_expression

YAP-6.0.0 succeeds too, maybe because it has a more recent version of
CLP(FD). Would you mind trying it?

> The strange thing is that SWI doesn't have the same problem and succeeds.
> Out of curiosity, single quotes seem to affect integers in some strange way,
> is there a reason for this:

Yes, try X is 2'111 and you'll understand :)

Sorry for the delay

Vitor

> ?- X = 2'.
> X = 0 ?
>
> ?- X = 100'.
>    | '
>    | .
>      SYNTAX ERROR at user, near line 11:
>  X = 100
> <==== HERE ====>
>  .
>
>    ?- X = 51'.
>      SYNTAX ERROR at user, near line 18:
>  X = []
> <==== HERE ====>
>  5.
> Thanks in advance,
> Domenico
> (Really sorry if this is a repeated message, I sent it already but from the
> wrong email account)
>
> ------------------------------------------------------------------------------
> Come build with us! The BlackBerry® Developer Conference in SF, CA
> is the only developer event you need to attend this year. Jumpstart your
> developing skills, take BlackBerry mobile applications to market and stay
> ahead of the curve. Join us from November 9-12, 2009. Register now!
> http://p.sf.net/sfu/devconf
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>
>

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users