A structural (Meta-Logical) semantics for linear objects

Manco G., Turini F.

Constraint Logic Programming  Linear Logic  Metaprogramming 

We propose a meta--logical reconstruction of the linar logic programming language Linear Objects. The meta-logic is based on a CLP schema, that can handle multisets of formulas. I The meta--logic provides a useful semantics for studying the structure of LO programs, and for comparing LO with other proposals in the field of computational logic