Hmmm - yeah you ought to be able to do some part of day8 in core.logic.
Though it seems like a very difficult challenge to start learning on
If you are looking for some smaller core.logic examples, you might find some inspiration in https://www.slideshare.net/normanrichards/corelogic-introduction
This is quite old, but core.logic hasn't changed all that much since
@norman Thank you.