Application of CLP(SC) in Membrane Computing

Abstract

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