Backtracking with cut via a distributive law and left-zero monoids
We employ the framework of algebraic effects to augment the list monad with the pruning cut operator known from Prolog. We give two descriptions of the resulting monad: as the monad of free left-zero monoids, and as a composition via a distributive law of the list monad and the ‘unary idempotent ope...
| Autors principals: | , |
|---|---|
| Format: | Journal article |
| Publicat: |
Cambridge University Press
2017
|