Math::Logic::Predicate - manage and query a predicate assertion database - View it on GitHub