Module parser

Module parser 

Source
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