core.logic

Unexpected behavior when using functions

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Declined
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • 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)]

Activity

People

Vote (0)
Watch (1)

Dates

  • Created:
    Updated:
    Resolved: