Nutrient-Aware Personalized Meal Recommendation Using Structured Food Knowledge and Constraint Verification | Synapse