Authors and license
This package contains code from the following authors. All code is distributed under the SWI-Prolog conditions with permission from the authors.
- Tom Schrijvers, K.U.Leuven Tom.Schrijvers@cs.kuleuven.be
- Christian Holzbaur christian@ai.univie.ac.at
- Jan Wielemaker jan@swi-prolog.org
Files and their roles:
# library(chr) chr_swi.pl Make user-predicates and hooks for loading CHR files available to the user. # library(chr/chr_op) Include file containing the operator declaractions # library(chr/chr_translate) Core translation module. Defines chr_translate/2. # library(chr/chr_debug) Debugging routines, made available to the user through library(chr). Very incomplete. # library(chr/hprolog) Compatibility to hProlog. Should be abstracted. # library(chr/pairlist) Deal with lists of Name-Value. Used by chr_translate.pl
Status
Work in progress. The compiler source (chr_translate.pl) contains various `todo' issues. The debugger is almost non existent. Future work should improve on the compatibility with the reference CHR documentation. Details on loading CHR files are subject to change.
Prolog files
a_star.pl | ||
|---|---|---|
| binomialheap.pl | ||
| builtins.pl | ||
| chr_compiler_errors.pl | ||
| chr_compiler_options.pl | ||
| chr_compiler_utility.pl | ||
| chr_hashtable_store.pl | ||
| chr_messages.pl | ||
| chr_runtime.pl | ||
| chr module/1 | True when Module is a CHR module. | |
| current_chr_constraint/1 | True if Constraint is a constraint associated with the qualified module. | |
| find_chr_constraint/1 | True when Constraint is a currently known constraint in any known CHR module. | |
| chr_translate.pl | ||
| clean_code.pl | ||
| find.pl | ||
| guard_entailment.pl | ||
| listmap.pl | ||
| pairlist.pl | ||