Title: Search Strategies in CHR(Prolog)
Authors: De Koninck, Leslie ×
Schrijvers, Tom
Demoen, Bart #
Issue Date: 2006
Publisher: Department of Computer Science, K.U.Leuven
Host Document: Proceedings of the Third Workshop on Constraint Handling Rules pages:109-123
Conference: Workshop on Constraint Handling Rules edition:3 location:Venice, Italy date:July 9, 2006
Abstract: We extend the refined operational semantics of the Constraint Handling Rules language to support the implementation of different search strategies. Such search strategies are necessary to build efficient Constraint Logic Programming systems. This semantics is then further refined so that it is more suitable as a basis for a trailing based implementation. We propose a source to source transformation to implement breadth first search in CHR(Prolog): CHR with Prolog as the host language. Breadth first is chosen because it exhibits the main difficulties in the implementation of search strategies, while being easy to understand. We evaluate our implementation and give directions for future work.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
42255.pdf Published 180KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.