Inspection Points and Meta-Abduction in Logic Programs