**6. Declarative debugging of missing answers in** *CFLP*(D)

The declarative debugging of *missing answers* also assumes an intended interpretation IP of the *CFLP*(D)-program P, starts with the observation of an *incompleteness symptom* and ends with an *incompleteness diagnosis*. A more precise definition of this *debugging scenario of missing answers* is as follows:
