cs164: Introduction to Programming Languages and Compilers 1 Lecture 6 Logic Programming rule-based programming with Prolog Ras Bodik with Mangpo, Ali Hack Your Language!…