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.