Ukrainian translation by Domri team
Haskell Rules is a domain-specific embedded language that allows semantic
rules to be expressed as Haskell functions. This DSEL provides logical
variables, unification, substitution, non-determinism, and backtracking. It
also allows Haskell functions to be lifted to operate on logical variables.
These functions are automatically delayed so that the substitutions can be
applied.
The rule DSEL allows various kinds of logical embedding, for example,
including logical variables within a data structure or wrapping a data
structure with a logical wrapper.

Gunzip and untar the archive. This will create a directory
HaskellRules-jun06.
Change to that directory.

Start GHC and load an example file.
You must use GHC 6.2 or 6.4 If you are using GHC 6.2, first read the
file readme.txt for a small change to TypeGU.hs.
Note that you have to use the flag -fglasgow-exts.

ghci -fglasgow-exts TypeLam.hs

Formulate queries. For example,
What is the type of the expression λ x . λ y . x y?