>> But how can I remove the 2 lines with put_attr(...) ?
I 've just pushed a patch for this.
> In fact, all works perfectly with atoms instead of variables. By the way,
> using atoms instead of variables for specifying CHR problems makes more
> sense I think. But most of the CHR examples available use variables for
> rules AND for the query.
Not using variables is certainly an established CHR practice. Sometimes
using variables is more convenient, sometimes it isn't.
Tom
--
Tom Schrijvers
Department of Computer Science
K.U. Leuven
Celestijnenlaan 200A
B-3001 Heverlee
Belgium
tel: +32 16 327544
e-mail:
tom.schrijvers@...
url:
http://www.cs.kuleuven.be/~toms/------------
For further info, please visit
http://www.swi-prolog.org/To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>"
in its body to
majordomo@...
