what are good examples of embedded logic programming into other languages? All I can think of are "prologs in lisp" • https://docs.racket-lang.org/racklog/ • https://github.com/clojure/core.logic • https://franz.com/support/documentation/current/doc/prolog.html

Also Shen (http://shenlanguage.org/), but, like miniKanren, it's one more Lisp on the list.

Lisps are, generally speaking, the easiest languages in which to embed other languages, but there are good examples in many languages. As (I think) @Mariano Guerra was gesturing toward, MiniKanren has been widely implemented. Here's are a pair of OCaml ones (1,2), the latter actually based on MicroKanren. My favorite person for this sort of thing in Haskell and OCaml is Oleg Kiselyov, for example this backtracking paper (co-authored with Friedman) and several others in that section of his site. See also: http://okmij.org/ftp/kakuritu/ for some tasty probabilistic programming.

Ruby https://github.com/preston/ruby-prolog checking in https://github.com/wizardofosmium/porolog. There are other older instances.