What is Logic Programming good for in Software Engineering?

Abstract

It has been argued that logic programming will survive only insofar as useful applications can be built and proved effective, implicitly affirming that such applications have not yet been built. We show that from the perspective of a software engineer logic programming offers several methods and techniques that are useful for his work. Thus, we overview the main features of logic programming from the point of view of software engineering, and summarize some approaches to the design and the prototyping of logic programming based software engineering applications. 1. e-mail: cianca@cs.unibo.it 2. Department of Informatics, University of Pisa, corso Italia, 40, 56125 Pisa, Italy.