Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ueda, K., Kato, N.: LMNtal: A Language Model with Links and Membranes. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 110–125. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ueda, K., Kato, N., Hara, K., Mizuno, K. (2006). LMNtal as a Unifying Declarative Language: Live Demonstration. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_47
Download citation
DOI: https://doi.org/10.1007/11799573_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36635-5
Online ISBN: 978-3-540-36636-2
eBook Packages: Computer ScienceComputer Science (R0)