A guy at work told me I should just read up on MiniKanren, since core.logic is an implementation of that. So maybe William Byrd’s dissertation, as linked in the core.logic README http://pqdtopen.proquest.com/#abstract?dispub=3380156 , should be my go-to resource?

@reefersleep Depending on your time, I understand that "The Reasoned Schemer" can be followed with core.logic with few exceptions.

µKanren is also a thing now (http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf) which is a further reduced set of core primitives