Maude如何使用RAT有理数模块

Maude如何使用RAT有理数模块介绍:首先，RAT中有除法，NAT没有。 得到如图1/2所示的posrat 1/2。 Maude如何使用RAT有理数模块[图]使用show all RAT。命令查看RAT模块的定义，也可以查看安装目录下的prelude.maude文件。