<< Back to previous view

[LOGIC-41] Unexpected behavior when using functions Created: 31/May/12  Updated: 28/Jul/13  Resolved: 31/May/12

Status: Closed
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))
=>(run* [q] (fresh [x y] (cp 1 x 2 y) (== q [x y])))
([_.0 2])

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.

Generated at Wed Jul 30 08:12:00 CDT 2014 using JIRA 4.4#649-r158309.