use the 'backward' branch of datalog