LMNtal as a hierarchical logic programming language

Kazunori Ueda*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

16 Citations (Scopus)


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 (CHR), 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.

Original languageEnglish
Pages (from-to)4784-4800
Number of pages17
JournalTheoretical Computer Science
Issue number46
Publication statusPublished - 2009 Nov 1


  • Concurrent constraint programming
  • Concurrent logic programming
  • Hierarchical graph rewriting
  • LMNtal

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'LMNtal as a hierarchical logic programming language'. Together they form a unique fingerprint.

Cite this