June 16, 2014 · 7:00 PM
Sergei would like to share his impressions of Prolog.
- What is "logic programming" and "constraint programming"
- 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 languages Mercury and Curry)