cs164: Introduction to Programming Languages and Compilers 1 Lecture 19 Flow Analysis flow analysis in prolog; applications of flow analysis Ras Bodik Ali and Mangpo Hack…