*LMNtal LMNtal (pronounced "elemental") is a concurrent language based on hierarchical graph rewriting. It features: -rule-based multiset rewriting, -connectivity represented using 1-to-1 links, -hierarchy represented using membranes, -locality of rewrite rules, -dynamic process/rule migration, -graphical view of programs and computation, -uniform treatment of processes and data, -and so on. An implementation (a translator into intermediate code and a runtime system) running on a Java platform is available. It features -arithmetics, -modules, -nondeterministic execution (exhaustive search), -foreign-language interface to Java, -visualizer, -read-eval-print loop, -optimizer, -redex/rule selection strategies, and -libraries. The following figures illustrate some diagrams that can be represented and handled nicely in LMNtal: http://www.ueda.info.waseda.ac.jp/lmntal/image/diagrams-low.png The language and the implemenation has been developed since 2002 by the LMNtal team, Dept. of Computer Science, Waseda University. //**Sample Input 1 // a,a,a,a,a,a, (a,a :- {a}), ({$p,a},{$q} :- $p,$q) // //**Sample Input 2 //[[Download]] (append.lmn) mailto: lang _AtSign_ ueda.info.waseda.ac.jp //--started to copy contents -- [[nakajima]] &new{2004-01-30 (Fri) 22:13:40}; //--edited the menubar to hide titles written in EUC-JP -- [[nakajima]] &new{2004-02-01 (Sun) 21:33:05}; //--added edit auth -- [[nakajima]] &new{2004-02-03 (Tue) 17:47:44}; //--new skin installed -- [[nakajima]] &new{2004-02-13 (Fri) 17:19:23}; //#comment