Interpreting Abduction in CLP