Awesome, there's a whole miniKanren implementation in emacs lisp! https://github.com/nickdrozd/reazon This gives you logic programming somewhat like Prolog or Clojure's core.logic.