Skip to:
I was trying to implement a relation similar to (map + list1 list2) -> list3My code is:
I've manage to get the expected behavior (I think...) by removing the call to onceo in clojure.core.logic/enforce-constraints
Sadly it breaks one test...
I hope it will at least help you to find the real problem.
mac os 10.12.6clojure.core.logic 0.8.11
Comment made by: pbaille
this test is actually a bit weird, since it introduce a fresh lvar z and give it the domain 0..9 but never use it...
I was trying to implement a relation similar to (map + list1 list2) -> list3
My code is:
I've manage to get the expected behavior (I think...) by removing the call to onceo in clojure.core.logic/enforce-constraints
Sadly it breaks one test...
I hope it will at least help you to find the real problem.