[LOGIC-81] predc constraint is not enforced when it could be Created: 19/Dec/12 Updated: 28/Jul/13 Resolved: 20/Dec/12
|Reporter:||Nada Amin||Assignee:||David Nolen|
The predc number constraint fails to be enforced here.
Inverting the first two goals gives the expected result.
|Comment by Nada Amin [ 19/Dec/12 9:12 AM ]|
Actually, the problem is not specific to predc. It's an issue that addcg can overwrite a precious binding. Here is another example without predc:
I have a fix that I'll submit shortly.
|Comment by Nada Amin [ 19/Dec/12 9:20 AM ]|
Let's discuss on GitHub first: https://github.com/namin/core.logic/compare/logic-81
|Comment by Nada Amin [ 20/Dec/12 9:25 AM ]|
logic-81.diff include fix and tests. Since the interface for the constraint store has been modified, some tests needed to be udpated.
|Comment by David Nolen [ 20/Dec/12 9:43 AM ]|