TermWare
TermWare is a programming language, based on concept of term system: set of rewriting rules with actions. It allows to unite logic and imperative programming: TermWare actions can call Java objects via reflection mechanism. The TermWare interpreter provides a Java API, for embedding rule-rewriting into Java applications.