CHR Compilers

KULeuven CHR on B-Prolog

• Download the binary leuven_chr.out (for B-Prolog version 7.0)
  
• Usage:
  1. Start B-Prolg as follows:
     

     bp leuven_chr.out

  2. Use one of the following commands to compile and load a CHR program.

     • cl_chr(File)

     • compile_chr(File)

     • consult_chr(File)

  • Or alternatively, run a CHR program as a standalone application. Example:

     bp leuven_chr.out -g "cl_chr(fib),fib(20,X),writeln(X)"

• Contributors: Tom Schrijvers, Bart Demoen, et al.

Translating CHR into AR (Action Rules)

• The compiler

---

• consult_chr(File): consult a CHR file named File.
• cl_chr(File): compile and load a CHR file named File.
• chr2ar(File): convert a CHR file named File into AR and display the output in stdout.
• chr2ar(File,OutFile): convert a CHR file named File into AR and store the output into OutFile.

---

• The paper
  

• CHR examples

  • fib.chr 
  • fulladder.chr
  • leq.chr
  • leq2.chr
  • primes.chr
  • wfs.chr
  • zebra.chr
  
  

• Hand-optimized examples (chr_lib.pl)

  • fib.pl
  • leq.pl
  • leq2.pl
  • primes.pl
  • zebra.pl
  
  

• Performance evaluation (Windows XP, milliseconds, as of May 31)