Propositional logic engine Terrence Brannon <TBONE@cpan.org>