[LOGIC-41] Unexpected behavior when using functions Created: 31/May/12 Updated: 28/Jul/13 Resolved: 31/May/12
|Reporter:||Jens Bendisposto||Assignee:||David Nolen|
Not sure if this is a bug, but it seems a bit strange
=>(defn cp [a b c d] (== a b) (== c d))
My expectation was that I get ([1 2)]
|Comment by David Nolen [ 31/May/12 2:50 PM ]|
This is not a bug. You can't just combine two unifications like that. They must be combined under fresh or all.