FYI this works with vectors:
(run* [q]
(fresh [x]
(infd x (interval 1 3))
(== q [x])))
;=> ([1] [2] [3])
But lcons seems to fail as well:
(run* [q]
(fresh [x]
(infd x (interval 1 3))
(== q (lcons x 'foo
;=> ((1 . foo))
Kind regards,
Frederik
--
You received this mes
Hey,
I'm trying to combine maps with finite domains with some odd results.
A simple query using finite domains correctly returns all values:
(run* [q]
(fresh [x]
(infd x (interval 1 3))
(== q x)))
;=> (1 2 3)
But putting this result in a map returns only the first value:
(run* [q]
