HaskellCHR 1.0

Δ HaskellCHR

HaskellCHR is a very simple implementation of Constraint Handling Rules (CHR) for GHC. It also includes an implementation of Prolog-style logic variables for Haskell using WAM bindings.

Latest release:

Unofficial release:

  • haskell_chr-1.0.1.tar.gz
    Andrei Melnikov sent me this version late 2009 with the note:
    I changed HaskellChr to use Cabal instead of makefiles, and fixed a
    few things to make it working with GHC-6.10.4 and Windows.
    I haven't tested this version, but it is posted here in the hope that it might be useful.

© Copyright 2013, all rights reserved