logic-tutorial icon indicating copy to clipboard operation
logic-tutorial copied to clipboard

Published 20 hours ago • verified publisher icon swannodette

tut1=> (with-dbs [men facts] (run* [q] (fresh [x y] (likes x y) (== q [x y]))))

Open pwin opened this issue 10 years ago • 0 comments 

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])

pwin avatar Aug 13 '14 22:08 pwin