assert with constrained variables

Hi there,

Eclipse reacts somewhat unhappily when predicates with constrained variables
are asserted:

:-dynamic(x/1).
?- X#>22, assert(x(X)).

gives me an error message telling some emulator does not work correctly.
Under Windows, TkEclipse even crashes.

(Actually, it is not really a surprise that something unexpected happens.
What one actually wants to, is
X#>22,dvar_domain(X,D),assert(x(V):-var_fd(V,D)).
or the corresponding CHR predicates. Works perfectly. However, I'd think the
system's reaction is somehat rough.)

Alex

-- 
______________________________
Alexander Pretschner
Software&Systems Engineering
Institut fuer Informatik, TU Muenchen
mailto:pretschn@in.tum.de
_____________________________

GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net