The existential variables of a clause in a constraint logic program are the variables which occur in the body of the clause and not in its head. The elimination of these variables is a transformation technique which is often used for improving program efficiency and verifying program properties. We, consider a folding transformation rifle which ensures the elimination of existential variables and we propose an algorithm for applying this rule in the case where the constraints are linear inequations over rational or real numbers. The algorithm combines techniques for matching, terms modulo equational theories and for solving systems of linear inequations. We show that an implementation of our folding algorithm performs well in practice.
Senni, V., Pettorossi, A., Proietti, M. (2008). A folding algorithm for eliminating existential variables from constraint logic programs. In ICLP '08 Proceedings of the 24th International conference on logic programming (pp.284-300). Berlin : Springer-Verlag [10.1007/978-3-540-89982-2_29].
A folding algorithm for eliminating existential variables from constraint logic programs
SENNI, VALERIO;PETTOROSSI, ALBERTO;
2008-01-01
Abstract
The existential variables of a clause in a constraint logic program are the variables which occur in the body of the clause and not in its head. The elimination of these variables is a transformation technique which is often used for improving program efficiency and verifying program properties. We, consider a folding transformation rifle which ensures the elimination of existential variables and we propose an algorithm for applying this rule in the case where the constraints are linear inequations over rational or real numbers. The algorithm combines techniques for matching, terms modulo equational theories and for solving systems of linear inequations. We show that an implementation of our folding algorithm performs well in practice.File | Dimensione | Formato | |
---|---|---|---|
SenniPettorossiProiettiICLP08_revised.pdf
accesso aperto
Descrizione: Articolo principale
Dimensione
219.49 kB
Formato
Adobe PDF
|
219.49 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.