Abstract The Concurrent Logical Framework, or CLF, is a new logical framework in which
concurrent computations can be represented as monadic objects, for which there is an …

Logic programming can be given a foundation in sequent calculus by viewing computation
as the process of building a cut-free sequent proof bottom-up. The first accounts of logic …

LMNtal (pronounced “elemental”) is a simple language model based on hierarchical graph
rewriting that uses logical variables to represent connectivity and membranes to represent …

There have been several proposals for logic programming language based on linear logic:
Lolli [8], Lygon [7], LO [3], LinLog [2], Forum [11], HACL [10]. In these languages, it is …

In recent years, intuitionistic logic and type systems have been used in numerous
computational systems as frameworks for the specification of natural deduction proof …

We discuss P#, our implementation of a tool that allows interoperation between a concurrent
superset of the Prolog programming language and C#. This enables Prolog to be used as a …

Abstract The Tag-Frame system of resource management [1] reunited two divergent threads
of linear logic programming research by achieving the efficient proof search behaviour of …

There have been several proposals for logic programming language based on linear logic:
Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use of …

In programming languages based on linear logic, the program can grow and shrink in a
nearly arbitrary manner over the course of execution. Since the introduction of the I/O model …

When Prolog programs that manipulate lists to manage a collection of resources are
rewritten to take advantage of the linear logic resource management provided by the logic …