I'm designing an extension of datalog instead.