Compare and contrast imperative and declarative programming paradigms, including their approaches to defining logic, side effects, and abstraction.