X #= -Y fails in clp(FD)
- From: Andrey Rybalchenko <first_dot_last_at_epfl_dot_ch>
- Date: Wed, 15 Aug 2007 22:33:05 +0200
Any ideas why? (Running Sicstus Prolog)
| ?- X in -1..1, Y in -1..1, X#= -Y.
! Domain error in user: #= /2
! expected constraint, found _1126#= -(_1124)
! goal: _1126#= -(_1124)
! goal: user:(_451#= -(_506))
! Domain error in user: #= /2
! expected constraint, found _140#= -(_105)
! goal: _140#= -(_105)
Bes regards,
Andrey
.
- Follow-Ups:
- Re: X #= -Y fails in clp(FD)
- From: Andrey Rybalchenko
- Re: X #= -Y fails in clp(FD)
- Prev by Date: Re: clp(FD) question
- Next by Date: Re: X #= -Y fails in clp(FD)
- Previous by thread: clp(FD) question
- Next by thread: Re: X #= -Y fails in clp(FD)
- Index(es):
