Making Logic Monad

Prologに代表される論理プログラミングをご存知ですか？では、論理プログラミングがMonadPlusによって表現されることは知っていますか？バックトラッキングやユニフィケーションを使ったプログラミングをScalaでもやってみたいと思いませんか？

このセッションでは、Scalaを使った論理プログラミングの紹介と、LogicモナドのFreer（あるいはExtensible Effects）による実装を解説します。

トークの長さ