one-way unifying
Alan Baljeu <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
I'm trying to overcome a flaw in CHR code. A CHR constraint with some term [a=B] is waking up a rule as a result of my assigning C=B. Based on the constraint declarations, there shouldn't be any waiting related to B, so that's one bug. The other point is that I really don't care to unify B. I just want to have another variable aim at it. Is this possible, or is it not? Alan Baljeu -------------- next part -------------- HTML attachment scrubbed and removed