TermWare is a rule processing engine intended for embedding into Java applications.
Main range of applications:
TermWare implements terminal systems concept.
Concept of such systems as object structures (of monad type or of signature type) and rewriting rules with evident knowledgebase interaction actions. The concept implementation allows to unite mathematical and imperative programming semantics components.
TermWare is Java library, that provides access to TermWare language interpreter and terminal systems operation API. Also simple command line driver is included.
Java parser/printer plugin:
Graphviz dot parser/printer plugin:
A Rewriting Framework for Rule-Based Programming Dynamic Applications eng.
The system of symbolic computing for programming the dynamic applications rus.
|Technical assistance and development: GradSoft. Copyright 2000-2010.|