So I got through http://learnprolognow.org, and the blog post which introduces core.logic is very well done. I'm thinking I might try and do the http://learnprolognow.org exercises in core.logic, I was able to get through quite a few of them fairly easily with only a few misunderstandings

I kind of skipped the Definite Clause Grammars section of the book, is it really necessary? http://learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlch7

Kindof skimmed over the Cuts, green cuts, red cuts, and negation stuff as well, but i'm probably going to come back to that

Thanks, I haven't read the learnprolognow completely. If you want more info and lispish content there is https://mitpress.mit.edu/books/reasoned-schemer and the last chapter on SICP I think implements a logic programming DSL from scratch using Scheme.