Semmantic Properties of CHIP (FD)

We consider a significant subset of the language CHIP, that we call CHIP(FD), containing atoms, delay declarations and constraints over finite domains handled by means of the arc-consistency and the sup-inf procedures.