Monad Transformers for Backtracking Search — mentioned by danidiaz

Wed, 15 Mar 2017 08:32:01 GMT

These notes explain the logic monad by solving solve n-queens with it: https://github.com/sshastry/queenslogic Despite its name, it's more of a search monad, it doesn't perform unification or anything like that. Another interesting paper is "Monad transformers for backtracking search" https://arxiv.org/abs/1406.2058 The Select monad described in the later paper can be found in the "transformers" library http://hackage.haskell.org/package/transformers-0.5.4.0/docs...

Paper and discussion history. A mention is not an endorsement.

Monad Transformers for Backtracking Search · HackerPapers discussions

Monad Transformers for Backtracking Search — mentioned by danidiaz