Towards the Automation of the Design of Logic Programming Languages (1997)
| Venue: | Department of Computer Science, RMIT |
| Citations: | 4 - 4 self |
BibTeX
@TECHREPORT{Lutovac97towardsthe,
author = {Tatjana Lutovac and James Harland},
title = {Towards the Automation of the Design of Logic Programming Languages},
institution = {Department of Computer Science, RMIT},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Logic programs consist of formulas of mathematical logic and various proof-theoretic 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 proof-theoretic 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 ...
