Compilative Constructive Negation in Constraint Logic Programs.