unicode_fol_kit.load_tptp¶

unicode_fol_kit.load_tptp(path)[source]¶

Read a TPTP problem file and parse_tptp() its contents.

Parameters:: path (str) – path to a .p / .tptp file.
Returns:: A list of TptpFormula records.
Return type:: list