[LOGIC-73] Usage of c.c.l/prep can lead to a different result (compared to not using it) Created: 23/Nov/12 Updated: 28/Jul/13 Resolved: 23/Nov/12
|Reporter:||Hugo Duncan||Assignee:||David Nolen|
Below are two expressions that differ only in the use of c.c.l/prep. When using prep there is an extra term returned, that includes a free ?a, which seems wrong, considering the second pattern should unify on the :a key.
|Comment by David Nolen [ 23/Nov/12 4:34 PM ]|
|Comment by Hugo Duncan [ 23/Nov/12 10:03 PM ]|
The code in the prep case above contains a bug. Both the pattern and production should both be passed in a single call to prep, otherwise they end up with different logic vars. When corrected there is only one term returned when using prep.
I'm not sure what this means for the necessity or correctness of the fix.