Application of CLP(SC) in Membrane Computing

Abstract

Present artcile studies semantics of the constraint logic programming builtover sequences and contexts, called CLP(SC). Sequences and contexts areconstructed over function symbols and function variables which do not havefixed arity, together with term, sequence, and context variables. For somefunction symbols, the order of the arguments matter (ordered symbols). Forsome others, this order is irrelevant (unordered symbols). Term variablesstand for single terms, sequence variables for sequences, context variablesfor contexts, and function variables for function symbols. We have studied thesemantics of CLP(SC) and showed its application in membrane computing.