Destroy All "If"s: An Intro to Declarative Programming

I'll introduce declarative programming with Prolog and discuss how relational methods can be used to solve some simple knowledge-based reasoning tasks (i.e. Good Old-Fashioned AI). We'll also discuss how some functional programming languages incorporate these ideas.