LMNtal as a Unifying Declarative Language: Live Demonstration
説明
LMNtal (pronounced “elemental”) is a simple language model based on hierarchical graph rewriting. It features and supports – rule-based multiset rewriting, – connectivity of nodes represented using logical variables, – hierarchy of nodes represented using membranes, – locality of rewrite rules, – dynamic migration of processes (= hierarchical graphs) and rewrite rules, – uniform treatment of processes and data, – graphical view of computation, and so on. Figure 1 shows examples of computation that can be encoded into LMNtal straightforwardly.