LMNtal as a hierarchical logic programming language. LMNtal (pronounced “elemental”) is a simple language model based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. LMNtal is an outcome of the attempt to unify constraint-based concurrency and Constraint Handling Rules, the two notable extensions to concurrent logic programming. LMNtal is intended to be a substrate language of various computational models, especially those addressing concurrency, mobility and multiset rewriting. Although the principal objective of LMNtal was to provide a unifying computational model, it is of interest to equip the formalism with a precise logical interpretation. In this paper, we show that it is possible to give LMNtal a simple logical interpretation based on intuitionistic linear logic and a flattening technique. This enables us to call LMNtal a hierarchical, concurrent linear logic language.
Keywords for this software
References in zbMATH (referenced in 8 articles , 1 standard article )
Showing results 1 to 8 of 8.
- Olarte, Carlos; Rueda, Camilo; Valencia, Frank D.: Models and emerging trends of concurrent constraint programming (2013)
- Ueda, Kazunori: LMNtal as a hierarchical logic programming language (2009)
- Murakami, Masaki: Congruence results of scope equivalence for a graph rewriting model of concurrent programs (2008)
- Ueda, Kazunori: Encoding distributed process calculi into lmntal. (2008)
- Ueda, Kazunori: Encoding the pure lambda calculus into hierarchical graph rewriting (2008)
- Ueda, Kazunori: Constraint-based concurrency and beyond. (2006)
- Ueda, Kazunori; Kato, Norio; Hara, Koji; Mizuno, Ken: LMNtal as a unifying declarative language: Live demonstration (2006)
- Ueda, Kazunori; Kato, Norio: LMNtal: A language model with links and membranes (2005)