CHRG: CHR Grammars

A grammar notation based on Constraint Handling Rules

Developed and maintained by Henning Christiansen
Research group PLIS: Programming, Logic and Intelligent Systems
Department of Communication, Business and Information Technologies
Roskilde University
P.O.Box 260, DK-4000 Roskilde, DENMARK

© Henning Christiansen 2002, 2010


This web site contains User's Guide, source code for CHRG and example files that may run under SICSTUS Prolog 4 and SWI Prolog.

The system is freely available for any peaceful and noncommercial applications. For other purposes, write to the author.

The present version 1.1 is adapted from an earlier version 0.1 from 2002, that ran under SICStus Prolog 3. Version 0 is no longer available. 1.1 differs from 1.0 by fixing a few minor issues.


CHRG stands for "CHR Grammars" and is a logical grammar system based on CHR, analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. CHR is an extension to Prolog originally intended for writing constraint solvers in a declarative way, but it is also relevant for language processing as it provides a natural framework for bottom-up evaluation and easy ways to manipulate different kinds of hypotheses. -- CHRG provides the grammatical interface to CHR.


User's Guide to CHR Grammars       Source code for the CHRG system       Examples of CHRGs

Questions, problems, suggestions, want to add links to your applications of CHRG? Please, do not hesitate to contact the author.


Last modification 19 July 2011