Transformation Rules for Locally Stratified Constraint Logic Programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally stratified and, thus, it has a unique perfect model. W…