This is a conventional set of tools for encoding and manipulating First-Order Logic structures, such as FOL::Sentence, FOL::Term, FOL::Predicate, FOL::Function, and FOL::Symbol.
The operations here include restructuring to CNF (conjunctive normal form) and HCF (Horn clause form), printing, inference via external agents, and coding to/from an RDF::Graph.