Add in datalog framework.