haskell - Igor2.3 で predicates.maude を使用し、Rewrite Result から結果を取得する方法

Question

predicates.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}}