4 ms·I wonder if it is possible to express this analysis as a datalog program.by jules 9y agoI wonder if it is possible to express this analysis as a datalog program.