I used Datalog a good deal in grad school (CS). It was frustrating at first, but once I figured it out, I liked it a lot.
If you've never tried a declarative programming language, you should give Datalog a try.
If you've never tried a declarative programming language, you should give Datalog a try.
In general it's very nice to be able to prototype queries/inference rules quickly and then tweak clause ordering, etc for performance later if needed.
I have documented them here: https://github.com/simongray/clojure-graph-resources#datalog
I'm a hardcore Clojure advocate (it's a fantastic programming language with a great ecosystem of libraries), but there's no doubt that the amount of resources available for learning the API of core.logic is less than what's available for Prolog. If the objective is to learn logic programming from the available resources, Prolog is probably the better option.