Debugging of wrong and missing answers for datalog programs with constraint handling rules.