souffle-haskell talk info

1. Title

Leverage the power of logic programming with souffle-haskell

2. Description

souffle-haskell is a Haskell library that provides bindings for the Souffle language.
Souffle is a Datalog variant that allows rapid prototyping of complex analyses in a
high-level logic language. With souffle-haskell, it is now possible to combine the
strengths of both Haskell and Datalog in order to solve complex problems easily.

In this talk, Luc will start with a short introduction of how he came about creating souffle-haskell.
Afterwards, he will explain how Haskell and Souffle can work together seamlessly and how this functionality is exposed in the library.
Finally, he will showcase some of the cool things you can build using the combination of Souffle and Haskell.

3. Speaker bio

Luc is a software engineer at Kabisa on a never-ending quest for writing
correct, robust and maintainable programs. Along this journey, he came into
contact with functional programming via Elixir & Haskell and never looked back
since. When he's not tinkering on compilers, he spends most of his free time
exploring with his bike or walking his dog.