Reduce / Redlog计算机代数系统的类似Lisp（前缀）输出

Question

这是关于Reduce计算机代数系统（reduce-algebra.com）。

我可以将Reduce（和Redlog）中的表达式打印成Reduce输入格式，例如(c < 0 or b > 0)使用off nat$。我想改为获得类似Lisp的语法，例如(or (< c 0) (> b 0))。

是否有Reduce包来执行此操作？

（好吧，我总是可以实现一个单独的解析器和打印机。）

Answer 1

由于似乎没有这样做的软件包，我实现了一个简单的解析器和漂亮的打印机来转换为适当的语法。