The TPTP folder contains the skeleton of an instance of Logic.Logic for the logic TPTP, see http://www.tptp.org/. TPTP is a standard format used by many theorem provers. If features both first and higher order logics.