Inernational Conference on Logic Programming, Date: 2005/10/02 - 2005/10/05, Location: Sitges, Spain
Logic programming, proceedings
Author:
Keywords:
Constraint Handling Rules, program analysis, optimized compilation, Science & Technology, Technology, Computer Science, Theory & Methods, Computer Science
Abstract:
This is a summary of the Ph.D. thesis of Tom Schrijvers. Constraint Handling Rules (CHR) is a rule-based language commonly embedded in a host language. It combines elements of Constraint Logic Programming and term rewriting. Several implementations of CHR exist: in Prolog, Haskell, Java and HAL. Typical applications of CHR are in the area of constraint solving, but currently CHR is also used in a wider range of applications, such as type checking, natural language processing and multi-agent systems. In this work we contribute program analyses, program optimizations and extensions of the CHR language.