Bottom-up Analysis of Logic Programming Languages: Theory, Practice and Applications


Keywords: logic programming, abstract interpretation, data-flow analysis, compilation techniques

Start Date: 1 January 95 / Status: finished / Duration: 24 months

[ participants / contact]

Objectivies and Approach

The objective is to provide a practical and general purpose working environment for the development and application of global analysis tools for logic programming languages. The environment will provide capabilities for modular program analysis, different control strategies (sequential and concurrent languages), and constraint based languages. The approach taken is to base such tools on bottom-up semantics for logic programs, and demonstrate the practical potential of starting from a clean and concise semantic core combined with abstract interpretation, transformational methods such as modelling control and abstract compilation.

Progress and Results

The main results are: design and application of abstract compilation techniques as an alternative to abstract interpretations; application of abstract interpretation techniques to reason about different (abstract and concrete) semantics; modular and abductive analysis; a new model of the control strategy of Prolog; systematic design of analysis domains; analysis of local suspension and of input-output demand for concurrent logic programs.

Furthermore, a system with automatically detected termination has been implemented and several prototypes for bottom-up execution of logic programs and of a framework for the computation of an abstract semantics for logic programs have been designed and implemented.

Information Dissemination Activities and/or Exploitation

Two workshops, with invited speakers external to the project, have been held in Israel and in Italy. Another workshop will take place in Israel in October 1996.


Università di Pisa
Dipartimento di Informatica
Corso Italia 40
I-56125-Pisa, I

EU Partners

Università di Pisa, I
University of Udine, I
Universidad Politecnica de Madrid, E
Katholieke Universiteit Leuven, B

Non-EU Partners

Ben-Gurion University of the Negev, ISR
Hebrew University, ISR


Prof. Giorgio Levi
Tel: +39 50 510246
Fax: +39 50 510226

INCO synopses home page INCO cooperation index INCO keyword index
INCO acronym index INCO number index INCO Projects index
synopses home page all keywords index all acronyms index all numbers index

BACPROL - EC-ISR90, May 1997

please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook