core.logic has a lot of limitations you pretty quickly run into, and they languish on their bug tracker for years now because nobody actually works on it.
Well this repo seems not to have had any commits for a year, so I'm not sure how much better this is:
https://github.com/bobschrag/clolog/commits/main/
Maybe this post will spark some interest and revitalise it a bit?