unicode_fol_kit.parse_tptp

unicode_fol_kit.parse_tptp(text)

Parse a whole TPTP problem into a list of TptpFormula records.

Parameters:

text (str) – the contents of a TPTP problem — one or more fof(...) / cnf(...) statements (% line comments and /* */ block comments are ignored).

Returns:

A list of TptpFormula (name, role, formula) in source order.

Raises:

ParsingError – if the text is not a well-formed TPTP problem.

Return type:

list