問題タブ [maude-system]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
8 問題
0
投票する
1
に答える
181
参照
logic-programming - Maude式を文字列に変換します
Maude式を文字列に変換する方法はありますか？
Haskellに相当するものを探していshowます。
0
投票する
0
に答える
65
参照
haskell - Igor2.3 で predicates.maude を使用し、Rewrite Result から結果を取得する方法
predicates.maude の使い方 それの使用法についての例はありますか
あまりにも削減の作業を行うrewriteのようです
結果7を取得する方法、繰り返していることがわかります
0
投票する
1
に答える
74
参照
maude-system - Maude-system 操作は 2 つ以上のオペランドを持つことができますか?
モードでは、次のいずれかの方法で操作を定義できることを知っています。
しかし、より多くのオペランドを持つように操作を定義する方法はありますか?