README

   1                                 CHR for SWI-Prolog
   2                                 ==================
   3
   4 Authors and license
   5 ====================
   6
   7 This package contains code  from  the   following  authors.  All code is
   8 distributed under the SWI-Prolog  conditions   with  permission from the
   9 authors.
  10
  11
  12         * Tom Schrijvers, K.U.Leuven    Tom.Schrijvers@cs.kuleuven.ac
  13         * Christian Holzbaur            christian@ai.univie.ac.at
  14         * Jan Wielemaker                jan@swi-prolog.org
  15
  16
  17 Files 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
  41 Status
  42 ======
  43
  44 Work  in  progress.  The  compiler  source  (chr_translate.pl)  contains
  45 various `todo' issues. The debugger is  almost non existent. Future work
  46 should  improve  on   the   compatibility    with   the   reference  CHR
  47 documentation. Details on loading CHR files are subject to change.