Reseña: A Haskell library for term rewriting
Se ha publicado un artículo de automatización del razonamiento en Haskell titulado A Haskell library for term rewriting.
Sus autores son Bertram Felgenhauer, Martin Avanzini y Christian Sternagel.
El trabajo se presentará en el HART 2013 (1st International Workshop on Haskell And Rewriting Techniques).
Su resumen es
We present a Haskell library for first-order term rewriting covering basic operations on positions, terms, contexts, substitutions and rewrite rules. This effort is motivated by the increasing number of term rewriting tools that are written in Haskell.
La página de la librería se encuentra aquí.