maude-system

2열

1답변

Maude 시스템에서 연산이 두 개 이상의 피연산자를 가질 수 있습니까?

나는 모드 로즈에서 다음 중 한 가지 방법으로 작업을 정의 할 수 있다는 사실을 알고 : op operation_: Nat -> Bool . // for 1 operands op _operation_: Nat Nat -> Bool . // for 2 operands 그러나 더 피연산자을 것 같은 operataion를 정의하는 방법은 무엇입니까?

maude-system 2017-04-20

---

2열

1답변

Maude 표현식을 문자열로 바꾸기

Maude 표현식을 문자열로 바꾸는 방법이 있습니까? 하스켈의 show과 동등한 제품을 찾고 있습니다.

logic-programming maude-system 2012-06-08

---