Logic programming using core.logic in the Clojure community is experiencing a resurgence. It is often used to solve logic puzzles, but one blogger has shown that these types of problems can be solved just as easily or even better with Clojure’s built-in for comprehension. Additionally, core.logic is essentially just a complex DSL for doing exhaustive search, which can be slow and lead to infinite loops if not ordered correctly. However, logic programming can still be beneficial for running programs backward, writing type checkers, and the new constraint programming piece of core.logic has potential for real-world use. The blogger hopes for a higher level of discourse surrounding core.logic and the exploration of its potential for new use cases.
http://programming-puzzler.blogspot.com/2013/03/logic-programming-is-overrated.html