Declarative ML Systems