Module tptp::parsers

nom parsers corresponding to TPTP BNF

Functions

alphanumeric
annotated_formula
annotations
atomic_defined_word
atomic_word
cnf_annotated
cnf_formula
comment_block
comment_line
defined_constant
defined_functor
defined_infix_pred
disjunction
dollar_word
file_name
fof_and_formula
fof_annotated
fof_arguments
fof_atomic_formula
fof_binary_assoc
fof_binary_formula
fof_binary_nonassoc
fof_defined_atomic_formula
fof_defined_atomic_term
fof_defined_infix_formula
fof_defined_plain_formula
fof_defined_plain_term
fof_defined_term
fof_formula
fof_function_term
fof_infix_unary
fof_logic_formula
fof_or_formula
fof_plain_atomic_formula
fof_plain_term
fof_quantified_formula
fof_quantifier
fof_term
fof_unary_formula
fof_unit_formula
fof_unitary_formula
fof_variable_list
formula_data
formula_role
formula_selection
functor
general_data
general_function
general_list
general_term
general_terms
ignored	Zero or more whitespace, comment_line, or comment_block
ignored_then_tptp_input	ignored, then a TPTP input
include
infix_equality
infix_inequality
integer
is_alphanumeric
is_lower_alpha
is_sq_char
is_upper_alpha
is_visible
literal
lower_alpha
lower_word
name
name_list
nonassoc_connective
optional_info
single_quoted
source
tptp_input
tptp_input_iterator
unary_connective
upper_alpha
upper_word
useful_info
variable
whitespace