The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid