[LOGIC-41] Unexpected behavior when using functions Created: 31/May/12 Updated: 31/May/12 Resolved: 31/May/12 |
|
| Status: | Resolved |
| Project: | core.logic |
| Component/s: | None |
| Affects Version/s: | None |
| Fix Version/s: | None |
| Type: | Defect | Priority: | Major |
| Reporter: | Jens Bendisposto | Assignee: | David Nolen |
| Resolution: | Declined | Votes: | 0 |
| Labels: | None | ||
| Description |
|
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)] |
| Comments |
| 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. |