File	Date	Author	Commit
Benchmarks	2013-10-30	Vítor Santos Costa	[c74b89] Merge branch 'master' of git://www.swi-prolog.o...
Examples	2013-10-30	Vítor Santos Costa	[c74b89] Merge branch 'master' of git://www.swi-prolog.o...
Tests	2009-11-19	Vitor Santos Costa	[f6a790] Merge branch 'master' of git://prolog.cs.vu.nl/...
.cvsignore	2005-11-29	Bart Demoen	[c5b11b] guard_entailment.pl and chr_translate_bootstrap...
.fileheader	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
.gitignore	2008-08-27	Jan Wielemaker	[c2d30d] Give CHR its own ignore file
ChangeLog	2009-11-19	Vitor Santos Costa	[f6a790] Merge branch 'master' of git://prolog.cs.vu.nl/...
Makefile.in	2014-11-03	vscosta	[ad55aa] enable distclean in chr
Makefile.mak	2010-03-14	Vitor Santos Costa	[91ad65] Merge branch 'master' of git://prolog.cs.vu.nl/...
README	2005-11-17	Tom Schrijvers	[13029e] fixed email address
a_star.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
binomialheap.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
builtins.pl	2013-10-30	Vítor Santos Costa	[c74b89] Merge branch 'master' of git://www.swi-prolog.o...
chr.yap	2015-01-05	Vítor Santos Costa	[0e7ab5] docs
chr_compiler_errors.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
chr_compiler_options.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
chr_compiler_utility.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
chr_debug.pl	2014-09-13	Vítor Santos Costa	[83b5d1] docs
chr_hashtable_store.pl	2013-10-30	Vítor Santos Costa	[c74b89] Merge branch 'master' of git://www.swi-prolog.o...
chr_integertable_store.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
chr_messages.pl	2013-10-30	Vítor Santos Costa	[bd7973] fix flush
chr_op.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
chr_op2.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
chr_runtime.pl	2014-09-15	Vítor Santos Costa	[7b59e0] fix bad merge
chr_support.c	2008-08-25	Vitor Santos Costa	[9cf651] add some prototypes to make YAP a bit happier.
chr_swi.pl	2015-01-05	Vítor Santos Costa	[0e7ab5] docs
chr_swi_bootstrap.pl	2014-10-25	Vitor Santos Costa	[630f75] typos
chr_test.pl	2013-10-30	Vítor Santos Costa	[bd7973] fix flush
chr_translate.chr	2012-08-01	Vítor Santos Costa	[6dd05c] Merge branch 'master' of git://www.swi-prolog.o...
chr_translate_bootstrap.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
chr_translate_bootstrap1.chr	2013-10-30	Vítor Santos Costa	[c74b89] Merge branch 'master' of git://www.swi-prolog.o...
chr_translate_bootstrap2.chr	2012-08-01	Vítor Santos Costa	[6dd05c] Merge branch 'master' of git://www.swi-prolog.o...
clean_code.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
configure.in	2014-10-25	Vitor Santos Costa	[630f75] typos
find.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
guard_entailment.chr	2008-08-29	Tom Schrijvers	[293457] Merge branch 'master' of git://gollem.science.u...
install-sh	2004-09-21	Jan Wielemaker	[4a4f4a] * Added new files
listmap.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...
pairlist.pl	2012-02-12	Vítor Santos Costa	[9eb333] Merge branch 'master' of git://www.swi-prolog.o...

Read Me

				CHR for SWI-Prolog
				==================

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.