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

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 https://arxiv.org/abs/1412.8739