Haskell に logict というライブラリがあります。 logict: A backtracking logic-programming monad. | Hackage MonadLogicやLogicTが何者なのかはそのうち解説記事を書くとして、今回はこのライブラリをScalaに移植してみました。 pocketberserker/scala-lo…