Using Symmetry for the Derivation of Logic Programs