Expand description
Enhanced expression parser for TensorLogic CLI
Supports:
- Basic predicates: pred(x, y)
- Logical operators: AND, OR, NOT, IMPLIES
- Quantifiers: EXISTS, FORALL
- Arithmetic: +, -, *, /
- Comparisons: =, <, >, <=, >=, !=
- Conditionals: IF-THEN-ELSE
- Parentheses for grouping
Functionsยง
- parse_
expression - Parse expression string with enhanced syntax support