Enhancing Configuration Facilities in Software Development: A Logic Approach