Logic programming in Haskell’s type system

Presenter: Henry Steere

Haskell uses Hindley Milner type inference, which is based on unification. Unification is also the basis of logic programming. Using GHC extensions you can take advantage of Haskell’s type system to do logic programming.

Agenda:

• 6pm ~ 6:45pm: drinks and snacks to keep us functional
• 6:45pm: talk
• 8pm: lights out