Declarative vs Rule-based Control for Flocking Dynamics