Are there any examples of core.logic being used with functions(rather than macros)? I have a problem where I want to build up goals from data, so the heavy-macro usage seems to get in the way

also the number of logic variables is unknown at compile time