Differential Logic Programs: Programming Methodologies and Semantics