Тема 13. Разбор текста

Домашнее задание 15. Разбор выражений на Prolog

1. Доработайте правило eval(Expression, Variables, Result), вычисляющее арифметические выражения.
   1. Пример вычисления выражения 2(-x) - 3 для x = 5:

      evaluate(
          operation(op_subtract,
              operation(op_multiply,
                  const(2),
                  operation(op_negate, variable(x))
              ),
              const(3)
          ),
          [(x, 5)],
          -13
      )
      

   2. Поддерживаемые операции: сложение (op_add, +), вычитание (op_subtract, -), умножение (op_multiply, *), деление (op_divide, /), противоположное число (op_negate, negate).
2. Реализуйте правило postfn_str(Expression, Atom), разбирающее/выводящее выражения, записанные в постфиксной функциональной форме. Например,

   postfn_str(
       operation(op_subtract,
           operation(op_multiply,
               const(2),
               operation(op_negate, variable(x))),
           const(3)
       ),
       '((2, (x)negate)*, 3)-'
   )
   

3. Добавьте поддержку произвольного числа пробельных символов.
4. Правила должны быть реализованы с применением DC-грамматик.