A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning