Relational lambda calculus interpreter with clojure core.logic.