A Transformation System for Modular CLP Programs


Share/Save/Bookmark

Etalle, Sandro and Gabbrielli, Maurizio (1995) A Transformation System for Modular CLP Programs. In: 12th International Conference on Logic Programming, ICLP 1996, 13-18 June 1995, Tokyo, Japan (pp. pp. 681-695).

open access
[img]
Preview
PDF
289kB
Abstract:We propose a transformation system for CLP programs and modules. The
framework is inspired by the one of Tamaki and Sato for pure logic programs [19]. Here, the use of CLP allows us to introduce some new operations such as splitting and constraint replacement. We provide two sets of applicability conditions. The first one guarantees that the original and the transformed programs have the same computational behavior, in terms of answer constraints. The second set contains more restrictive conditions that ensure compositionality: we prove that under these conditions the original and the transformed modules have the same answer constraints also when they are composed with other modules. As corollaries we obtain the correctness of both the modular and the non-modular system w.r.t. the least model semantics.
Item Type:Conference or Workshop Item
Copyright:©1995 MIT Press
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/56273
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page