core.logic

Indexed relations return incorrect results for partially ground values

Details

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

Description

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.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: