We also use a subset of prolog in Clojure called datalog for a couple of databases