A logic database to support configuration management in ADA

We propose a logic framework which permits both, to formalize such configurational activity (thus extending the benefits of a formal definition to the language supporting environment) and to introduce, in the programming environment, a very flexible tool to reason about modules properties and configuration strategies. We have to cope with an evolving world where the effects of activities, such as compilation and linking, are the creation and modification of relations among objects. This brings us to consider a database approach and, in particular, a Logic Database (LDB) one, to handle creation of new relations and objects.