An implementation of the datalog query language with user-provided indexes.