A Complete Declarative Debugger of Missing Answers