I'm sorry I know nothing about core.logic. However, if you are familiar with Prolog, and sufficiently motivated to work through cited references, this paper is a good place to start. [1]

[1] https://arxiv.org/abs/1412.8739