{"id":180688,"date":"2024-11-09T12:21:17","date_gmt":"2024-11-09T04:21:17","guid":{"rendered":"https:\/\/server.hk\/cnblog\/180688\/"},"modified":"2024-11-09T12:21:18","modified_gmt":"2024-11-09T04:21:18","slug":"%e6%b7%b1%e5%85%a5%e4%ba%86%e8%a7%a3maude%e6%95%b8%e6%93%9a%e5%ba%ab%ef%bc%9a%e5%af%a6%e7%8f%be%e9%ab%98%e6%95%88%e6%95%b8%e6%93%9a%e7%ae%a1%e7%90%86-maude-%e6%95%b8%e6%93%9a%e5%ba%ab","status":"publish","type":"post","link":"https:\/\/server.hk\/cnblog\/180688\/","title":{"rendered":"\u6df1\u5165\u4e86\u89e3Maude\u6578\u64da\u5eab\uff1a\u5be6\u73fe\u9ad8\u6548\u6578\u64da\u7ba1\u7406 (maude \u6578\u64da\u5eab)"},"content":{"rendered":"<h1 id=\"%e6%b7%b1%e5%85%a5%e4%ba%86%e8%a7%a3maude%e6%95%b8%e6%93%9a%e5%ba%ab%ef%bc%9a%e5%af%a6%e7%8f%be%e9%ab%98%e6%95%88%e6%95%b8%e6%93%9a%e7%ae%a1%e7%90%86-LKNEiTJNDJ\">\u6df1\u5165\u4e86\u89e3Maude\u6578\u64da\u5eab\uff1a\u5be6\u73fe\u9ad8\u6548\u6578\u64da\u7ba1\u7406<\/h1>\n<p>\u5728\u7576\u4eca\u6578\u64da\u9a45\u52d5\u7684\u4e16\u754c\u4e2d\uff0c\u6578\u64da\u5eab\u7684\u9078\u64c7\u5c0d\u65bc\u4f01\u696d\u7684\u904b\u71df\u81f3\u95dc\u91cd\u8981\u3002Maude\u6578\u64da\u5eab\u4f5c\u70ba\u4e00\u7a2e\u9ad8\u6548\u7684\u6578\u64da\u7ba1\u7406\u7cfb\u7d71\uff0c\u56e0\u5176\u7368\u7279\u7684\u7279\u6027\u548c\u512a\u52e2\u800c\u53d7\u5230\u5ee3\u6cdb\u95dc\u6ce8\u3002\u672c\u6587\u5c07\u6df1\u5165\u63a2\u8a0eMaude\u6578\u64da\u5eab\u7684\u57fa\u672c\u6982\u5ff5\u3001\u67b6\u69cb\u3001\u7279\u9ede\u4ee5\u53ca\u5176\u5728\u6578\u64da\u7ba1\u7406\u4e2d\u7684\u61c9\u7528\u3002<\/p>\n<h2 id=\"%e4%bb%80%e9%ba%bc%e6%98%afmaude%e6%95%b8%e6%93%9a%e5%ba%ab%ef%bc%9f-LKNEiTJNDJ\">\u4ec0\u9ebc\u662fMaude\u6578\u64da\u5eab\uff1f<\/h2>\n<p>Maude\u662f\u4e00\u7a2e\u57fa\u65bc\u908f\u8f2f\u7684\u6578\u64da\u5eab\u7cfb\u7d71\uff0c\u5c08\u6ce8\u65bc\u63d0\u4f9b\u9ad8\u6548\u7684\u6578\u64da\u7ba1\u7406\u548c\u67e5\u8a62\u529f\u80fd\u3002\u5b83\u7684\u8a2d\u8a08\u7406\u5ff5\u662f\u5229\u7528\u908f\u8f2f\u63a8\u7406\u4f86\u8655\u7406\u6578\u64da\uff0c\u9019\u4f7f\u5f97Maude\u5728\u8655\u7406\u8907\u96dc\u67e5\u8a62\u548c\u6578\u64da\u95dc\u806f\u6642\u8868\u73fe\u51fa\u8272\u3002Maude\u7684\u6838\u5fc3\u662f\u5176\u57fa\u65bc\u91cd\u5beb\u7cfb\u7d71\u7684\u8a08\u7b97\u6a21\u578b\uff0c\u9019\u4f7f\u5f97\u5b83\u80fd\u5920\u5728\u591a\u7a2e\u61c9\u7528\u5834\u666f\u4e2d\u9748\u6d3b\u904b\u7528\u3002<\/p>\n<h2 id=\"maude%e7%9a%84%e6%9e%b6%e6%a7%8b-LKNEiTJNDJ\">Maude\u7684\u67b6\u69cb<\/h2>\n<p>Maude\u6578\u64da\u5eab\u7684\u67b6\u69cb\u4e3b\u8981\u7531\u4ee5\u4e0b\u5e7e\u500b\u90e8\u5206\u7d44\u6210\uff1a<\/p>\n<ul>\n<li><strong>\u6578\u64da\u6a21\u578b\uff1a<\/strong>Maude\u4f7f\u7528\u4e00\u7a2e\u57fa\u65bc\u908f\u8f2f\u7684\u6578\u64da\u6a21\u578b\uff0c\u652f\u6301\u8907\u96dc\u7684\u6578\u64da\u7d50\u69cb\u548c\u95dc\u806f\u3002<\/li>\n<li><strong>\u67e5\u8a62\u8a9e\u8a00\uff1a<\/strong>Maude\u63d0\u4f9b\u4e86\u4e00\u7a2e\u5f37\u5927\u7684\u67e5\u8a62\u8a9e\u8a00\uff0c\u5141\u8a31\u7528\u6236\u9032\u884c\u9748\u6d3b\u7684\u6578\u64da\u6aa2\u7d22\u548c\u64cd\u4f5c\u3002<\/li>\n<li><strong>\u63a8\u7406\u5f15\u64ce\uff1a<\/strong>\u5176\u63a8\u7406\u5f15\u64ce\u80fd\u5920\u81ea\u52d5\u63a8\u5c0e\u51fa\u6578\u64da\u4e4b\u9593\u7684\u95dc\u4fc2\uff0c\u5f9e\u800c\u63d0\u9ad8\u67e5\u8a62\u6548\u7387\u3002<\/li>\n<\/ul>\n<h2 id=\"maude%e7%9a%84%e7%89%b9%e9%bb%9e-LKNEiTJNDJ\">Maude\u7684\u7279\u9ede<\/h2>\n<p>Maude\u6578\u64da\u5eab\u64c1\u6709\u591a\u9805\u986f\u8457\u7279\u9ede\uff0c\u4f7f\u5176\u5728\u6578\u64da\u7ba1\u7406\u9818\u57df\u4e2d\u812b\u7a4e\u800c\u51fa\uff1a<\/p>\n<ul>\n<li><strong>\u9ad8\u6548\u6027\uff1a<\/strong>Maude\u7684\u91cd\u5beb\u7cfb\u7d71\u80fd\u5920\u5feb\u901f\u8655\u7406\u8907\u96dc\u67e5\u8a62\uff0c\u986f\u8457\u63d0\u9ad8\u6578\u64da\u6aa2\u7d22\u901f\u5ea6\u3002<\/li>\n<li><strong>\u9748\u6d3b\u6027\uff1a<\/strong>\u652f\u6301\u591a\u7a2e\u6578\u64da\u7d50\u69cb\u548c\u67e5\u8a62\u65b9\u5f0f\uff0c\u9069\u61c9\u4e0d\u540c\u7684\u696d\u52d9\u9700\u6c42\u3002<\/li>\n<li><strong>\u53ef\u64f4\u5c55\u6027\uff1a<\/strong>\u96a8\u8457\u6578\u64da\u91cf\u7684\u589e\u9577\uff0cMaude\u80fd\u5920\u8f15\u9b06\u64f4\u5c55\u4ee5\u6eff\u8db3\u9700\u6c42\u3002<\/li>\n<li><strong>\u5f37\u5927\u7684\u63a8\u7406\u80fd\u529b\uff1a<\/strong>\u80fd\u5920\u81ea\u52d5\u63a8\u5c0e\u51fa\u96b1\u542b\u7684\u6578\u64da\u95dc\u4fc2\uff0c\u5e6b\u52a9\u7528\u6236\u66f4\u597d\u5730\u7406\u89e3\u6578\u64da\u3002<\/li>\n<\/ul>\n<h2 id=\"maude%e5%9c%a8%e6%95%b8%e6%93%9a%e7%ae%a1%e7%90%86%e4%b8%ad%e7%9a%84%e6%87%89%e7%94%a8-LKNEiTJNDJ\">Maude\u5728\u6578\u64da\u7ba1\u7406\u4e2d\u7684\u61c9\u7528<\/h2>\n<p>Maude\u6578\u64da\u5eab\u5728\u591a\u500b\u9818\u57df\u4e2d\u90fd\u6709\u5ee3\u6cdb\u7684\u61c9\u7528\uff0c\u5305\u62ec\u4f46\u4e0d\u9650\u65bc\uff1a<\/p>\n<ul>\n<li><strong>\u91d1\u878d\u670d\u52d9\uff1a<\/strong>\u5728\u91d1\u878d\u884c\u696d\u4e2d\uff0cMaude\u80fd\u5920\u5feb\u901f\u8655\u7406\u5927\u91cf\u4ea4\u6613\u6578\u64da\uff0c\u4e26\u63d0\u4f9b\u5373\u6642\u7684\u6578\u64da\u5206\u6790\u3002<\/li>\n<li><strong>\u91ab\u7642\u5065\u5eb7\uff1a<\/strong>\u5728\u91ab\u7642\u9818\u57df\uff0cMaude\u53ef\u4ee5\u5e6b\u52a9\u7ba1\u7406\u75c5\u6b77\u6578\u64da\uff0c\u4e26\u9032\u884c\u8907\u96dc\u7684\u6578\u64da\u67e5\u8a62\u3002<\/li>\n<li><strong>\u96fb\u5b50\u5546\u52d9\uff1a<\/strong>\u5728\u96fb\u5b50\u5546\u52d9\u5e73\u53f0\u4e2d\uff0cMaude\u80fd\u5920\u9ad8\u6548\u5730\u8655\u7406\u7528\u6236\u6578\u64da\u548c\u4ea4\u6613\u8a18\u9304\uff0c\u63d0\u5347\u7528\u6236\u9ad4\u9a57\u3002<\/li>\n<\/ul>\n<h2 id=\"%e7%a4%ba%e4%be%8b%e4%bb%a3%e7%a2%bc-LKNEiTJNDJ\">\u793a\u4f8b\u4ee3\u78bc<\/h2>\n<p>\u4ee5\u4e0b\u662f\u4e00\u500b\u7c21\u55ae\u7684Maude\u67e5\u8a62\u793a\u4f8b\uff0c\u5c55\u793a\u5982\u4f55\u4f7f\u7528Maude\u9032\u884c\u6578\u64da\u6aa2\u7d22\uff1a<\/p>\n<pre><code>\nmod EXAMPLE is\n  sort Item .\n  op item1 : -&gt; Item .\n  op item2 : -&gt; Item .\n  op getItem : Item -&gt; Item .\n\n  eq getItem(item1) = item1 .\n  eq getItem(item2) = item2 .\nendm\n<\/code><\/pre>\n<p>\u5728\u9019\u500b\u793a\u4f8b\u4e2d\uff0c\u6211\u5011\u5b9a\u7fa9\u4e86\u4e00\u500b\u7c21\u55ae\u7684\u6a21\u7d44\uff0c\u4e26\u4f7f\u7528Maude\u7684\u67e5\u8a62\u8a9e\u8a00\u4f86\u6aa2\u7d22\u7279\u5b9a\u7684\u6578\u64da\u9805\u76ee\u3002<\/p>\n<h2 id=\"%e7%b8%bd%e7%b5%90-LKNEiTJNDJ\">\u7e3d\u7d50<\/h2>\n<p>Maude\u6578\u64da\u5eab\u4ee5\u5176\u9ad8\u6548\u6027\u3001\u9748\u6d3b\u6027\u548c\u5f37\u5927\u7684\u63a8\u7406\u80fd\u529b\uff0c\u6210\u70ba\u6578\u64da\u7ba1\u7406\u9818\u57df\u4e2d\u7684\u4e00\u500b\u91cd\u8981\u5de5\u5177\u3002\u7121\u8ad6\u662f\u5728\u91d1\u878d\u3001\u91ab\u7642\u9084\u662f\u96fb\u5b50\u5546\u52d9\u7b49\u884c\u696d\uff0cMaude\u90fd\u80fd\u5920\u63d0\u4f9b\u5353\u8d8a\u7684\u6578\u64da\u8655\u7406\u80fd\u529b\u3002\u5c0d\u65bc\u9700\u8981\u9ad8\u6548\u6578\u64da\u7ba1\u7406\u7684\u4f01\u696d\u4f86\u8aaa\uff0c\u9078\u64c7\u5408\u9069\u7684\u6578\u64da\u5eab\u7cfb\u7d71\u81f3\u95dc\u91cd\u8981\u3002\u5982\u679c\u60a8\u6b63\u5728\u5c0b\u627e\u53ef\u9760\u7684\u89e3\u6c7a\u65b9\u6848\uff0c\u53ef\u4ee5\u8003\u616e\u4f7f\u7528<a href=\"https:\/\/server.hk\">\u9999\u6e2fVPS<\/a>\u4f86\u652f\u6301\u60a8\u7684\u6578\u64da\u7ba1\u7406\u9700\u6c42\uff0c\u78ba\u4fdd\u60a8\u7684\u696d\u52d9\u904b\u884c\u9806\u5229\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u6df1\u5165\u4e86\u89e3Maude\u6578\u64da\u5eab\uff0c\u63a2\u7d22\u5176\u9ad8\u6548\u6578\u64da\u7ba1\u7406\u529f\u80fd\uff0c\u63d0\u5347\u6578\u64da\u8655\u7406\u6548\u7387\uff0c\u52a9\u529b\u696d\u52d9\u6c7a\u7b56\u8207\u5275\u65b0\u3002<\/p>\n","protected":false},"author":0,"featured_media":0,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[101],"tags":[],"class_list":["post-180688","post","type-post","status-publish","format-standard","hentry","category-database"],"_links":{"self":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/180688","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/comments?post=180688"}],"version-history":[{"count":1,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/180688\/revisions"}],"predecessor-version":[{"id":180689,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/180688\/revisions\/180689"}],"wp:attachment":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/media?parent=180688"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/categories?post=180688"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/tags?post=180688"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}