Results 1 
2 of
2
Towards the Automation of the Design of Logic Programming Languages
 Department of Computer Science, RMIT
, 1997
"... Logic programs consist of formulas of mathematical logic and various prooftheoretic techniques can be used to design and analyse execution models for such programs. We briefly review the main problems, which are questions that are still elusive in the design of logic programming languages, from a p ..."
Abstract

Cited by 4 (4 self)
 Add to MetaCart
Logic programs consist of formulas of mathematical logic and various prooftheoretic techniques can be used to design and analyse execution models for such programs. We briefly review the main problems, which are questions that are still elusive in the design of logic programming languages, from a prooftheoretic point of view. Existing approaches and analyses which lead to the various languages are all rather sophisticated and involve complex manipulations of proofs. All are designed for analysis on paper by a human and many of them are ripe for automation. We aim to perform the automation of some aspects of prooftheoretic analyses, in order to assist in the design of logic programming languages. In this paper we describe the first steps towards the design of such an automatic analysis tool. We investigate the usage of particular proof manipulations for the analysis of logic programming strategies. We propose a more precise specification of sequent calculi inference rules that we use ...
Proofs, concurrent objects and computations in a FILL framework
 In Workshop on Objectbased Parallel and Distributed Computation, OBPDC'95
, 1995
"... There are several major approaches to model concurrent computations using logic. In this context, one aim can be to achieve different forms of programming as logic, objectoriented or concurrent ones in a same logical language. Linear logic seems to be wellsuited to describe computations that are c ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
There are several major approaches to model concurrent computations using logic. In this context, one aim can be to achieve different forms of programming as logic, objectoriented or concurrent ones in a same logical language. Linear logic seems to be wellsuited to describe computations that are concurrent and based on state transitions. In this paper, we propose and analyze a framework based on Full Intuitionistic Linear Logic (FILL), logical fragment with potentialities for nondeterminisms management, as foundation of concurrent objectoriented programming, following the two paradigms proofsearch as computation and proofs as computations.