What is "logic programming" and "constraint programming"
Prolog in a nutshell
How Prolog "makes pointers safe"
Why Prolog was the ultimate scripting language for AI (backtracking search, interpreters, and DSLs for free)
What is "functional-logic programming" (a taste of the programming language Mercury)
Video recording of the talk: http://youtu.be/Fhc7fPQF1iY