core.logic

• Type: Defect
• Status: Resolved
• Priority: Major
• Resolution: Completed
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  None

Consider the following code:
(defrel rel1 ^:index a)
(fact rel1 [1 2])
(run* [q] (fresh [a] (rel1 [q a]) (== a 2)))

The result of the above query is () although it should be (1). If the index is dropped, the correct result is returned.

• Assignee:

  David Nolen

  Reporter:

  Brian Goslinga

• Created:

  04/Mar/12 3:02 PM

  Updated:

  04/Mar/12 3:46 PM

  Resolved:

  04/Mar/12 3:46 PM