There is also miniKanren (e.g. Clojure core.logic is a. implementation). miniKanren is more generic than Prolog.