TermWare
TermWare is a rule processing engine intended for embedding into Java applications.
TermWare implements terminal systems concept.
Main range of applications:
* problem-oriented languages (or DSL, from domain-specific) development.
* computer algebra systems.
* various formal models analysis and transformation.
* software engineering.
(追記) (追記ここまで)
License
Other