CHR: Leuven Constraint Handling Rules
Prolog Makefile Shell Other
Permalink
Failed to load latest commit information.
Benchmarks Ported to SWI-Prolog Mar 28, 2013
Examples Re-licensed to BSD-2 Nov 16, 2016
Tests DOS --> POSIX Jul 30, 2009
.cvsignore guard_entailment.pl and chr_translate_bootstrap3.pl added Nov 29, 2005
.fileheader Updated license header Nov 16, 2016
.gitignore Give CHR its own ignore file Aug 27, 2008
ChangeLog Updated ChangeLog Sep 19, 2009
Makefile.in Use new -g/-t Jun 8, 2017
Makefile.mak Do not install chr_support.dll Feb 4, 2010
README fixed email address Nov 17, 2005
a_star.pl Re-licensed to BSD-2 Nov 16, 2016
binomialheap.pl Re-licensed to BSD-2 Nov 16, 2016
builtins.pl Re-licensed to BSD-2 Nov 16, 2016
chr_compiler_errors.pl CLEANUP: internally renamed line_number into source_location to reflect Oct 30, 2017
chr_compiler_options.pl Fixed trailing whitespace errors Dec 19, 2016
chr_compiler_utility.pl Re-licensed to BSD-2 Nov 16, 2016
chr_debug.pl Re-licensed to BSD-2 Nov 16, 2016
chr_hashtable_store.pl Re-licensed to BSD-2 Nov 16, 2016
chr_integertable_store.pl Re-licensed to BSD-2 Nov 16, 2016
chr_messages.pl Re-licensed to BSD-2 Nov 16, 2016
chr_op.pl Re-licensed to BSD-2 Nov 16, 2016
chr_op2.pl Re-licensed to BSD-2 Nov 16, 2016
chr_runtime.pl ENHANCED: Use built-in nonground/2 when available. Jun 24, 2017
chr_support.c add some prototypes to make YAP a bit happier. Aug 26, 2008
chr_swi.pl CLEANUP: internally renamed line_number into source_location to reflect Oct 30, 2017
chr_swi_bootstrap.pl CLEANUP: Avoid long-resolved SWI/SICStus code for absolute_file_name/3. May 14, 2018
chr_test.pl Re-licensed to BSD-2 Nov 16, 2016
chr_translate.chr CLEANUP: internally renamed line_number into source_location to reflect Oct 30, 2017
chr_translate_bootstrap.pl Re-licensed to BSD-2 Nov 16, 2016
chr_translate_bootstrap1.chr CLEANUP: Replace 'chr sbag_member'/2 with member/2 Dec 11, 2015
chr_translate_bootstrap2.chr Re-licensed to BSD-2 Nov 16, 2016
clean_code.pl Re-licensed to BSD-2 Nov 16, 2016
configure.ac Renamed configure.in to configure.ac. Lev Lamberov. Aug 23, 2017
find.pl Re-licensed to BSD-2 Nov 16, 2016
guard_entailment.chr Replaced loading hprolog by loading library(dialect/hprolog) Aug 27, 2008
install-sh * Added new files Sep 21, 2004
listmap.pl Re-licensed to BSD-2 Nov 16, 2016
pairlist.pl CLEANUP: Delete various unused predicates Nov 30, 2011

README

				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.