I strongly believe ON the benefits OF combining model-driven engineering AND logic programming (CONSTRAINT programming, answer-SET programming, sat solvers,…) BOTH AS a way TO solve optimization, visualization, verification, configuration,… problems AT the model LEVEL (see FOR instance our UMLtoCSP tool, now undergoing a profound renovation, that uses CONSTRAINT programming TO prove the correctness OF UML/OCL class diagrams) AND AS a way TO raise the abstraction LEVEL AT which logic problems ARE described AND solved (e.g.