Haskell Scratch.hs中流程的目标和输出是什么？运行的示例（如basicsec.casl）在Scratch中出错

更新1

为了使用rewrite，我必须安装maude，如果不导入maude，het工具的haskell代码如何在其haskell代码中使用rewrite和reduce

如何用代数规范输入文件或默认系统证明逻辑 和逻辑字符串作为参数将输出返回控制台？是否有这样的例子，并在Scratch中完成所有这些

此外，我想在Scratch中读取Owl文件并在Scratch中进行推理，是否有这样的示例

更新2 成功运行第一个示例RelationAndOrders.casl，但是，Scratch.hs中流程的目标和输出是什么

martin@ubuntu:~/Downloads/Hets-master$ sudo cp Scratch /usr/lib/hets/hets-lib/Basic/Scratch
martin@ubuntu:~/Downloads/Hets-master$ cd /usr/lib/hets/hets-lib/Basic
martin@ubuntu:/usr/lib/hets/hets-lib/Basic$ ./Scratch RelationsAndOrders.casl 
### file name 'RelationsAndOrders.casl' does not match library name 'Basic/RelationsAndOrders'
Analyzing library Basic/RelationsAndOrders version 1.0
Downloading Basic/Numbers ...
Analyzing library Basic/Numbers version 1.0
Analyzing spec Basic/Numbers?Nat
Analyzing spec Basic/Numbers?Int
Analyzing spec Basic/Numbers?Rat
Analyzing spec Basic/Numbers?DecimalFraction
... loaded Basic/Numbers
Analyzing spec Basic/RelationsAndOrders?Relation
Analyzing spec Basic/RelationsAndOrders?ReflexiveRelation
Analyzing spec Basic/RelationsAndOrders?IrreflexiveRelation
Analyzing spec Basic/RelationsAndOrders?SymmetricRelation
Analyzing spec Basic/RelationsAndOrders?AsymmetricRelation
Analyzing spec Basic/RelationsAndOrders?AntisymmetricRelation
Analyzing spec Basic/RelationsAndOrders?TransitiveRelation
Analyzing spec Basic/RelationsAndOrders?SimilarityRelation
Analyzing spec Basic/RelationsAndOrders?PartialEquivalenceRelation
Analyzing spec Basic/RelationsAndOrders?EquivalenceRelation
Analyzing spec Basic/RelationsAndOrders?PreOrder
Analyzing spec Basic/RelationsAndOrders?StrictOrder
Analyzing spec Basic/RelationsAndOrders?PartialOrder
Analyzing spec Basic/RelationsAndOrders?TotalOrder
Analyzing spec Basic/RelationsAndOrders?StrictTotalOrder
Analyzing spec Basic/RelationsAndOrders?RightUniqueRelation
Analyzing spec Basic/RelationsAndOrders?LeftTotalRelation
Analyzing spec Basic/RelationsAndOrders?BooleanAlgebra
Analyzing spec Basic/RelationsAndOrders?ExtPartialOrder
Analyzing spec Basic/RelationsAndOrders?ExtTotalOrder
Analyzing spec Basic/RelationsAndOrders?ExtBooleanAlgebra
Analyzing spec Basic/RelationsAndOrders?RichPartialOrder
Analyzing spec Basic/RelationsAndOrders?RichTotalOrder
Analyzing spec Basic/RelationsAndOrders?RichBooleanAlgebra
Analyzing view Basic/RelationsAndOrders?TotalOrder_in_Nat
Analyzing view Basic/RelationsAndOrders?TotalOrder_in_Int
Analyzing view Basic/RelationsAndOrders?TotalOrder_in_Rat
Analyzing view Basic/RelationsAndOrders?PartialOrder_in_ExtBooleanAlgebra

更新3

运行basicsec.casl时

martin@ubuntu:~/Downloads/Hets-master/CASL/test$ ./Scratch BasicSpec.casl
Analyzing file BasicSpec.casl as library BasicSpec
Analyzing spec BasicSpec?BasicSpec

unexpected mixfix token: 252
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:710.31:
*** Error:
missing %number annotation
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:710.31:
*** Error:
unexpected mixfix token: 253
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:711.31:
*** Error:
missing %number annotation
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:711.31:
*** Error:
unexpected mixfix token: 254
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:712.31:
*** Error:
missing %number annotation
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:712.31:
*** Error:
unexpected mixfix token: 255
Scratch: user error (Stopped due to errors)

---

你的ghc版本很古老。你试过新的吗？我们现在是7点10分。@Sarah嗯。。。GHC 6.4最初于2005年3月11日发布。现在它已经有十年的历史了。我尝试了一个新的ghc，没关系，只要问一下我的一个虚拟机，它只能使用版本6。4@user353573使用能够运行当前十年软件的操作系统运行虚拟机？当前是最新版本，找不到模块“Data.Graph.inclusive.Graph”您的ghc版本是古老的。你试过新的吗？我们现在是7点10分。@Sarah嗯。。。GHC 6.4最初于2005年3月11日发布。现在它已经有十年的历史了。我尝试了一个新的ghc，没关系，只要问一下我的一个虚拟机，它只能使用版本6。4@user353573使用能够运行当前十年软件的操作系统运行虚拟机？当前是最新版本，找不到模块“Data.Graph.inclusive.Graph”您的ghc版本是古老的。你试过新的吗？我们现在是7点10分。@Sarah嗯。。。GHC 6.4最初于2005年3月11日发布。现在它已经有十年的历史了。我尝试了一个新的ghc，没关系，只要问一下我的一个虚拟机，它只能使用版本6。4@user353573使用能够运行当前十年软件的操作系统运行虚拟机？当前是最新版本，找不到模块“Data.Graph.inclusive.Graph”