<< 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


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)]

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 Tue Jan 16 02:18:46 CST 2018 using JIRA 4.4#649-r158309.