[Ask HN] How to use clojure functions in core.logic?

I have defined a plain Clojure function which has a specific logic inside. It outputs a mutated state given an initial state and some other arguments. Basically, we could say it is like: (defn modifier [basic x y value] (assoc-in basic [x y] value))

I want core.logic to deal with it in order to find the correct parameters for this function to output the result I want. Do I have to rewrite it as defne or defnc? methinks it would be a burden >< so I'd like to find another way.

I have a gist with minimal working code sample here: https://gist.github.com/piotr-yuxuan/fa0cfdc63a26b667c3f3

Will appreciate any help I would be given! :-) Thanks a lot in advance!