A Logic Programming Approach for Planning Workflows Evolutions