Streamflow Prediction with Uncertainty Quantification for Water Management: A Constrained Reasoning and Learning Approach