The Language Model LMNtal

  • Kazunori Ueda
  • Norio Kato
Conference paper

DOI: 10.1007/978-3-540-24599-5_50

Volume 2916 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Ueda K., Kato N. (2003) The Language Model LMNtal. In: Palamidessi C. (eds) Logic Programming. ICLP 2003. Lecture Notes in Computer Science, vol 2916. Springer, Berlin, Heidelberg

Abstract

LMNtal is a simple language model based on the rewriting of hierarchical graphs that use logical variables to represent links. The two major goals of the model are (i) to unify various computational models featuring multisets and (ii) to serve as the basis of a truly general-purpose language covering various platforms ranging from wide-area to embedded computation. Another contribution of the model is it greatly facilitates programming with dynamic data structures. The “four elements” of LMNtal are \(\underline{l}ogical~\underline{l}inks,~\underline{m}ultisets,~\underline{n}ested~\underline{n}odes\), and \(\underline{t}ransform\underline{a}tion\).

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Kazunori Ueda
    • 1
  • Norio Kato
    • 1
  1. 1.Dept. of Computer ScienceWaseda UniversityTokyoJapan