With projects like MiniKanren, it's more likely we'll see logic programming included in a language as a library, rather than rooted at the core of the language.

With projects like MiniKanren, it's more likely we'll see logic programming included in a language as a library, rather than rooted at the core of the language. Look at what Clojure did with Datomic (which uses Datalog as a query language) and core.logic (an implementation of MiniKanren).