Package orbital.logic.trs

Provides a term rewrite system (TRS) mechanism with substitution and unification.

See:
Description

Interface Summary

Substitution	Term substitution function.
Substitution.Matcher	Interface for matching and replacing elementary terms within a substitution.
Variable	Variable tagging interface.

Class Summary

Substitutions

Provides term substitution, unification methods and the λ-operator.

Package orbital.logic.trs Description

Provides a term rewrite system (TRS) mechanism with substitution and unification.

Substitutions, unification and term rewrite systems are accessed from the class orbital.logic.trs.Substitutions, which is very useful for structural term manipulations.

See Also:

orbital.logic.trs.Substitutions