It&#x27;s not! You just aren&#x27;t looking hard enough.<p>First, miniKanren interpreters have become vogue in some other languages. For example. Clojure has an embedded one: core.logic. Then here are some other full non-embedded languages, like Datalog and Mercury.<p>There&#x27;s not going to be as much variety as full-fledged general-purpose programming languages though because it&#x27;s a more specialized domain with more restricted usage. And, well, Prolog is pretty standard. The question you have to get over is, if you need to use logic programming, why aren&#x27;t you using Prolog or an embedded miniKanren interpreter?