Differential logic programs: Programming methodologies and semantics