eprintid: 1376
rev_number: 9
eprint_status: archive
userid: 40
dir: disk0/00/00/13/76
datestamp: 2012-09-25 11:25:06
lastmod: 2013-03-07 12:56:25
status_changed: 2012-09-25 11:25:06
type: conference_item
metadata_visibility: show
creators_name: Senni, Valerio
creators_name: Pettorossi, Alberto
creators_name: Proietti, Maurizio
creators_id: valerio.senni@imtlucca.it
creators_id: 
creators_id: 
title: Folding Transformation Rules for Constraint Logic Programs
ispublished: submitted
subjects: QA75
divisions: CSA
full_text_status: public
pres_type: paper
abstract: 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.
date: 2008
date_type: published
pagerange: 1-22
event_title: CILC08, 23-esimo Convegno Italiano di Logica Computazionale 
event_location: Università di Perugia, Italy
event_dates: 10-12 Luglio 2008
event_type: conference
refereed: TRUE
related_url_url: http://www.dmi.unipg.it/CILC08/programma.html
related_url_type: org
citation:   Senni, Valerio and Pettorossi, Alberto and Proietti, Maurizio  Folding Transformation Rules for Constraint Logic Programs.  In: CILC08, 23-esimo Convegno Italiano di Logica Computazionale , 10-12 Luglio 2008, Università di Perugia, Italy pp. 1-22.      (Submitted)   (2008)  
document_url: http://eprints.imtlucca.it/1376/1/CILC08_Senni.pdf