Leverage the Power of Logic Programming With Souffle-haskell

Luc Tielen introduces souffle-haskell, a library that combines Haskell with the Souffle Datalog variant for logic programming.

With Luc Tielen! 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. 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 and Haskell and never looked back since. When he's not tinkering on toy compilers, he spends most of his free time exploring with his bike or walking his dog. You can find Luc on Twitter (@luctielen). He also has a blog (luctielen.com). The slides for this talk are here: github.com/luc-tielen/souffle-haskell This virtual talk was brought to you by the Berlin Functional Programming Group. Join us on Meetup: meetup.com/Berlin-Functional-Programming-Group/ Follow us on Twitter: twitter.com/BerlinFPGroup Buy a T-shirt: teespring.com/berlin-fp-group Support us on Patreon: patreon.com/bfpg