My problem with Prolog is that its a useful paradigm for a subset of any program, but not for the entire thing. I really like Clojure's core.logic approach: us

My problem with Prolog is that its a useful paradigm for a subset of any program, but not for the entire thing. I really like Clojure's core.logic approach: use core.logic (which works like prolog) for the bits where it makes sense and use Clojure for the bits where it doesn't. That is, the right tool for the job.