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

Full description

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 410; no. 46; pp. 4784 - 4800
Main Author:	Ueda, Kazunori
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.11.2009
Subjects:	Concurrent constraint programming Concurrent logic programming Hierarchical graph rewriting LMNtal LMNtal Concurrent constraint programming Concurrent logic programming Hierarchical graph rewriting
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	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.
Bibliography:	ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23
ISSN:	0304-3975 1879-2294
DOI:	10.1016/j.tcs.2009.07.043