The multi-paradigm language PROGRES is the first rule-oriented visual language which has a well-defined
type concept and supports programming with graph rewriting systems. To some extent, it has the flavor of a
visual database programming language with powerful pattern matching and replacing facilities as well as
backtracking capabilities. Until now, it was mainly used for specifying and rapid prototyping of abstract data
types in software engineering environments. An integrated set of language-specific tools supports intertwined
editing, analyzing, browsing, and debugging of specifications as well as generating prototypes in C (Modula-2)
with Tcl/Tk-based user interfaces.