tut1=> (with-dbs [men facts] (run* [q] (fresh [x y] (likes x y) (== q [x y])))) #22
Description
tut1=> (with-dbs [men facts] (run* [q] (fresh [x y] (likes x y) (== q [x y]))))
([Mary Bob] [Bob Mary] [John Lucy])
doesn't work. It returns
([Bob Mary] [John Lucy])