A logic approach to configuration in ADA

This paper presents a new application of logic programming in the area of integrated programming environments for algorithmic languages. Integrated programming environments are based upon the existence of a project database which is the repository of all information relevant to programming project throughout the life cycle of the project. In particular, modules management (configuration), is a typical activity which requires relationships among objects to be handled. The paper addresses the advantages of using logic to express and manage configuration activities of languages which explicitely incorporate concepts related to software production. A logic database approach is proposed to support the configuration activity of the Ada programming language as an example of application of logic in the field of project data bases.