TY  - CONF
N2  - We consider the folding transformation rule for constraint
logic programs. We propose an algorithm for applying the folding rule in the case where the constraints are linear equations and inequations over the rational or the real numbers. Basically, our algorithm consists in reducing a rule application to the solution of one or more systems
of linear equations and inequations. We also introduce two variants of the folding transformation rule. The first variant combines the folding rule with the clause splitting rule, and the second variant eliminates the existential variables of a clause, that is, those variables which occur in the body of the clause and not in its head. Finally, we present the algorithms for applying these variants of the folding rule.
ID  - eprints1376
Y1  - 2008///
AV  - public
UR  - http://eprints.imtlucca.it/1376/
EP  - 22
M2  - Università di Perugia, Italy
TI  - Folding Transformation Rules for Constraint Logic Programs
A1  - Senni, Valerio
A1  - Pettorossi, Alberto
A1  - Proietti, Maurizio
T2  - CILC08, 23-esimo Convegno Italiano di Logica Computazionale 
SP  - 1
ER  -