A Theorem-Proving Approach to CLPSemantic Query Optimization through Abduction and Constraint Handling
