If you're into Clojure et al or at least datomic you've probably used some subset of prolog (qua datalog). Clojure also brings with it logic and relational pro

If you're into Clojure et al or at least datomic you've probably used some subset of prolog (qua datalog). Clojure also brings with it logic and relational programming which is likely the go-to choice of the Clojurist for expressing work-flow or permissions management type problems. Not exactly Prolog but it's the same difference.