# Libraries for term rewriting and narrowing in Curry

This package provides a representation of first-order terms and various notions of term rewriting, like positions, substitution, unification, critical pairs, etc. Moreover, it defines also operations for rewriting and narrowing strategies and a representation of definitional trees.

The libraries were developed as part of a bachelor's thesis.

**Note:** A previous version of the contained libraries was part of the [KiCS2](https://www-ps.informatik.uni-kiel.de/kics2/)/[PAKCS](https://www.informatik.uni-kiel.de/~pakcs/) distributions.