https://github.com/matthesjh/rewriting-curry
Libraries for term rewriting and narrowing in Curry
https://github.com/matthesjh/rewriting-curry
critical-pairs curry definitional-trees kics2 narrowing pakcs rewriting substitution unification
Last synced: 7 months ago
JSON representation
Libraries for term rewriting and narrowing in Curry
- Host: GitHub
- URL: https://github.com/matthesjh/rewriting-curry
- Owner: matthesjh
- License: bsd-3-clause
- Created: 2019-02-01T10:47:12.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2021-01-17T10:24:05.000Z (over 4 years ago)
- Last Synced: 2025-01-23T09:24:17.674Z (8 months ago)
- Topics: critical-pairs, curry, definitional-trees, kics2, narrowing, pakcs, rewriting, substitution, unification
- Homepage:
- Size: 110 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE.md
- Codeowners: .github/CODEOWNERS
Awesome Lists containing this project
README
# 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.