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
Where is that blog post?
Ah sorry, just caught this, here you go https://bernardopires.com/2013/10/try-logic-programming-a-gentle-introduction-to-prolog/
https://tirkarthi.github.io/clojure/2017/10/28/coloring-india.html
The second one is the india coloring problem done in core.logic
Thanx!
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.