Module Read_tptp (.ml)

module Read_tptp: sig .. end

reads tptp files

See BNF for the complete tptp specification, implemented is version 3.1.1.27.

Only the CNF subset is supported.

Parameteric variables can not be represented in a tptp file.

type clause = Term.clause

val to_clauses_from_string : string -> clause list

to_clauses_from_file file_name reads the tptp file file_name into a Term.clause list.
Raises

val to_clauses_from_file : string -> clause list

to_clauses_from_file file_name reads the tptp file file_name into a Term.clause list.
Raises