Explainable Diagnosis Prediction through Neuro-Symbolic Integration