Redirecting to Declarative programming