datalog analysis and feedback