Synopsis
Libraries for term rewriting and narrowing
Categories
Rewriting Narrowing
Versions
3.0.0 2.1.0 2.0.0 0.0.1
Dependencies
base >= 1.0.0, < 2.0.0 abstract-curry >= 2.0.0 finite-map >= 0.0.1
Author
Jan-Hendrik Matthes
Michael Hanus <mh@informatik.uni-kiel.de>
Maintainer
Michael Hanus <mh@informatik.uni-kiel.de>
Compiler requirements
pakcs >= 2.0.0 kics2 >= 2.0.0
Exported modules
Rewriting.CriticalPairs Rewriting.Narrowing Rewriting.Strategy Rewriting.Unification Rewriting.DefinitionalTree Rewriting.Position Rewriting.Substitution Rewriting.UnificationSpec Rewriting.Files Rewriting.Rules Rewriting.Term
Description
These libraries provide a representation of first-order terms and various notions of term rewriting, like position, substitution, unification, critical pairs, etc. Moreover, it defines also operations for rewriting and narrowing strategies and a representation of definitional trees. A previous version of these libraries were part of the PAKCS/KiCS2 distributions.
License
Further infos:

Uploaded at Apr 1 12:03:46 2020 (UTC)

Curry Package rewriting

rewriting

These libraries provide a representation of first-order terms and various notions of term rewriting, like position, substitution, unification, critical pairs, etc. Moreover, it defines also operations for rewriting and narrowing strategies and a representation of definitional trees.

A previous version of these libraries were part of the PAKCS/KiCS2 distributions.

Download

Checkout with CPM:: cypm checkout rewriting 2.0.0
Package source:: rewriting-2.0.0.tar.gz [browse]
Source repository:: https://git.ps.informatik.uni-kiel.de/curry-packages/rewriting.git

Synopsis

Categories

Versions

Dependencies

Author

Maintainer

Compiler requirements

Exported modules

Description

License

Further infos:

rewriting

Download