1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
pub mod deduction; pub mod formula; pub mod terms; mod properties; pub mod operations; mod string_manip; mod translate; pub mod axioms; pub mod logic_errors; /* Backus-Naur Form for the TNT Language <num> ::= { "0" | "S" <num> } <var> ::= { <lowercase_letter> | <var> "'" } <arith_op> ::= { "+" | "*" } <expr> ::= { num | var | "(" <expr> <arith_op> <expr> ")" | "S" expr } <quant> ::= { "A" <var> ":" | "E" <var> ":" | "~" <quant> } <logical_op> ::= { "&" | "|" | ">" } <formula> ::= { <expr> "=" <expr> | "[" <formula> <logical_op> <formula> "]" | <quant> <formula> } */