• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..03-May-2022-

Benchmarks/H18-Jun-2020-1,4061,115

Examples/H18-Jun-2020-985761

Tests/H18-Jun-2020-296219

.fileheaderH A D18-Jun-20201.5 KiB3528

.gitignoreH A D18-Jun-2020204 1817

READMEH A D18-Jun-20201.3 KiB4832

a_star.plH A D18-Jun-20202.7 KiB8166

binomialheap.plH A D18-Jun-20203.5 KiB143118

builtins.plH A D18-Jun-202023.1 KiB630604

chr_compiler_errors.plH A D18-Jun-20206.3 KiB180149

chr_compiler_options.plH A D18-Jun-202013.1 KiB383327

chr_compiler_utility.plH A D18-Jun-20208.5 KiB339287

chr_debug.plH A D18-Jun-20202.2 KiB6352

chr_hashtable_store.plH A D18-Jun-20209.5 KiB426393

chr_integertable_store.plH A D18-Jun-20203.7 KiB140120

chr_messages.plH A D18-Jun-20204.1 KiB177144

chr_op.plH A D18-Jun-20202.1 KiB5446

chr_op2.plH A D18-Jun-20202.1 KiB5545

chr_runtime.plH A D18-Jun-202026.8 KiB1,016864

chr_support.cH A D18-Jun-20202.2 KiB10660

chr_swi.plH A D18-Jun-202017.8 KiB633543

chr_swi_bootstrap.plH A D18-Jun-20206.2 KiB219173

chr_translate.chrH A D18-Jun-2020368.3 KiB11,47710,188

chr_translate_bootstrap.plH A D18-Jun-202076.6 KiB2,4972,206

chr_translate_bootstrap1.chrH A D18-Jun-202061.7 KiB2,3092,306

chr_translate_bootstrap2.chrH A D18-Jun-2020107 KiB3,6743,264

clean_code.plH A D18-Jun-20206.6 KiB253229

find.plH A D18-Jun-20202.7 KiB7964

guard_entailment.chrH A D18-Jun-202032.8 KiB513511

listmap.plH A D18-Jun-20202.7 KiB10994

pairlist.plH A D18-Jun-20201.3 KiB7967

test_chr.plH A D18-Jun-20204.8 KiB181148

README

1				CHR for SWI-Prolog
2				==================
3
4Authors and license
5====================
6
7This package contains code  from  the   following  authors.  All code is
8distributed under the SWI-Prolog  conditions   with  permission from the
9authors.
10
11
12	* Tom Schrijvers, K.U.Leuven	Tom.Schrijvers@cs.kuleuven.be
13	* Christian Holzbaur		christian@ai.univie.ac.at
14	* Jan Wielemaker 		jan@swi-prolog.org
15
16
17Files and their roles:
18======================
19
20	# library(chr)			chr_swi.pl
21	Make user-predicates and hooks for loading CHR files available
22	to the user.
23
24	# library(chr/chr_op)
25	Include file containing the operator declaractions
26
27	# library(chr/chr_translate)
28	Core translation module.  Defines chr_translate/2.
29
30	# library(chr/chr_debug)
31	Debugging routines, made available to the user through
32	library(chr).  Very incomplete.
33
34	# library(chr/hprolog)
35	Compatibility to hProlog.  Should be abstracted.
36
37	# library(chr/pairlist)
38	Deal with lists of Name-Value.  Used by chr_translate.pl
39
40
41Status
42======
43
44Work  in  progress.  The  compiler  source  (chr_translate.pl)  contains
45various `todo' issues. The debugger is  almost non existent. Future work
46should  improve  on   the   compatibility    with   the   reference  CHR
47documentation. Details on loading CHR files are subject to change.
48