Fatal编程技术网
  • haskell/
  • Haskell 在Igor2.3中使用predicates.maude以及如何从重写结果中获得结果

Haskell 在Igor2.3中使用predicates.maude以及如何从重写结果中获得结果

haskell

Haskell 在Igor2.3中使用predicates.maude以及如何从重写结果中获得结果,haskell,maude-system,Haskell,Maude System,如何使用谓词.maude？ 关于它的使用有什么例子吗 Maude> SETUP(PREDICATE) . Warning: <standard input>, line 163: skipped unexpected token: SETUP Warning: no loop state. Warning: <standard input>, line 163: syntax error RewriteResult {resultTerm = IterTerm {

如何使用谓词.maude？ 关于它的使用有什么例子吗

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

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