haskell - 在 Igor2.3 中使用 predicates.maude 以及如何从 Rewrite Result 中获取结果

Question

如何使用谓词.maude？有没有关于它的用法的例子

Maude> SETUP(PREDICATE) .
Warning: <standard input>, line 163: skipped unexpected token: SETUP
Warning: no loop state.
Warning: <standard input>, line 163: syntax error

看来 rewrite 也做了减少的工作

如何得到结果 7，我看到它在迭代中

RewriteResult {resultTerm = IterTerm {termSort = "NzNat", termOp = "s_", termChildren = [Term {termSort = "Zero", termOp = "0", termChildren = []}], iterations = 7}, rewriteStatistics = MaudeStatistics {totalRewrites = 1, realTime = 0, cpuTime = 0}}