Does memoization work directly over the logical variables introduced by fresh? A detailed description here https://ask.clojure.org/index.php/9905/memoization-in-core-logic
fresh
This is now resolved 🙂 (the answer is on the post)