Devel::NYTProf.
Parse::RecDescent.
TPTP 6.0.0.