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 …

Linear logic is a branch of proof theory which provides refined tools for the study of the
computational aspects of proofs. These tools include a duality-based categorical semantics …

In this article, we propose an extension of Answer Set Programming (ASP) to support
declarative reasoning on consumption and production of resources. We call the proposed …

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 …

A number of logic programming languages based on Linear Logic [3] have been proposed.
However, the implementation techniques proposed for these languages have relied heavily …

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 …

Programming languages are the basic tools of computer science. The design of a good
programming language is a trade-off between many factors. Perhaps the most important and …