Tree [0e7ab5] master /
 History

HTTPS access


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

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks