Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach

Abstract

This paper discusses adaptation of the declarative diagnosis techniques for the use in constraint logic programming The objective is to show how the well known concepts are to be modi ed in this setting In particular the paper outlines basic algorithms for diagnosing incorrectness errors and insu ciency errors for constraint programs over arbitrary domains The main focus is on de ning kinds of assertions needed to facilitate the task of answering of debugger queries The examples illustrate the use of the proposed assertions in the declarative diagnosis algorithms for nite domain constraint programs