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.
Similar content being viewed by others
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)