Making Logic Monad

Do you understand logic programming such as Prolog? If so, do you know that you can express logic programming using MonadPlus? Do you want to try programming with backtracking or unification using Scala?

In this session, I will introduce logic programming using Scala and implementation of Logic monad using Freer (or Extensible Effects).

Session length

40 minutes

Language of the presentation

Japanese

Target audience

Advanced: For those who are experts in the field

Who is your session intended to

Those who are interested in logic programming
Those who want to implement monad

Speaker

halcat0x15a

• ScalaMatsuri 2018 Extensible Effects in Dotty: https://www.youtube.com/watch?v=QeW8Cka28vs
• ScalaMatsuri 2016 Freer Monad Extensible Effect in Scala: https://www.youtube.com/watch?v=xXM30PuU_bY

Contributes