Are there any existing projects within the Python ecosystem that use rewrite/production/transformation rules in way similar to Mathematica or Maude?
Note that I'm referring to the logic programming concept, not the web server concept.
Are there any existing projects within the Python ecosystem that use rewrite/production/transformation rules in way similar to Mathematica or Maude?
Note that I'm referring to the logic programming concept, not the web server concept.