Datalog是一种逻辑查询语言，介于关系代数和Prolog之间，但更接近前者。它主要用于数据库的递归查询。Clojure Datalog支持内存关系数据库格式，可以使用规则定义数据之间的推理关系。规则使用类似Prolog的语法，可以进行递归定义。查询可以通过绑定变量来参数化。