Tomorrow, 1/31, I will talk about logic programming. The talk is aimed at those with no background in logic programming. I will cover the theoretical underpinnings of a small subset of Prolog, and explore some simple logic programs.