Domain-specific Language for Data-driven Design Time Analyses and Result Mappings for Logic Programs