dmiles: Datalog is a query and rule language for deductive databases that syntactically is a subset of Prolog. Its origins date back to around 1978 when Herve Gallaire and Jack Minker organized a workshop on logic and databases. The term Datalog was coined in the mid 1980's by a group of researchers interested in database theory.
mndrix: built on the Redland Perl bindings
mndrix: equivalence checking is not well tested, but seems to work
mndrix: equivalence checking is not well tested, but seems to work