A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs

DOI10.3233/FI-2009-183zbMath1207.68120OpenAlexW1829726411MaRDI QIDQ3400572

Alberto Pettorossi, Maurizio Proietti, Valerio Senni

Publication date: 5 February 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-183

zbMATH Keywords

program transformationconstraint logic programmingvariable eliminationfolding rule

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs