CHRG, A grammar notation based on Constraint Handling Rules

Developed and maintained by

Henning Christiansen Computer Science Dept. Roskilde University, Denmark © Henning Christiansen 2002

Web site with source code for CHRG that runs under SICStus Prolog, documentation, scientific papers on the subject, and sample files.
Freely available for any peaceful and noncommercial applications. For other purposes, write to the author.

CHRG for "CHR Grammars" 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.

Features:

• Ambiguity is not a problem for CHRG, all different parses are evaluated in parallel in the same constraint store - without backtracking.
• Robustness in case of errors: The parser delivers those subphrases it has recognized as result.
• A generalized lookahead mechanism so that arbitrary grammar symbols to the left and right of the string to be matched. Can be applied for disambiguation of simple and ambigous grammars, for coordination in natural language, and for tagger-like rule.
• Abductive language interpretation and Assumption Grammmars supported.
• Differents sorts of grammar rules that mirror CHR's propagation, simplification, and simpagation rules; full integration with Prolog and CHR.
• Special grammatical operators for gaps and parallel matching.

Users Guide to CHR Grammars       Source code for the CHRG system       Examples of CHRGs       Scientific papers on CHRG

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