LINUX.ORG.RU

Maude system

 


0

4

Читаю про Maude и переписывание термов здесь http://www.cs.swan.ac.uk/~csneal/MaudeCourse/termrewriting.html (другие ссылки можно взять отсюда http://en.wikipedia.org/wiki/Maude_system).

И не могу понять, переписывание термов - это по сути Datalog с наследованием типов? Возможности унификации, как в прологе, отсутствуют, сопоставления с образцом, как в рефале, отсутствуют. Зато большая эффективность и заточенность на декларативное описание модели. Я прав?


Любая Тьюринг-полная семантика это частный случай переписывания термов.

anonymous ()
Ответ на: комментарий от anonymous

я просто хочу понять область применения Maude. Получается, что у пролога/рефала более мощные выразительные средства, чем у Maude?

jcdr ()
Ответ на: комментарий от jcdr

Maude более фундаментальный. Чего ты хочешь от языка, уровень которого ниже, чем brainfuck или unlambda?

Мне известно лишь одно применение Maude - k-framework и ему подобные, для формального описания операционных семантик.

anonymous ()
Ответ на: комментарий от buddhist

Ну уравнения, по-моему, это что-то вроде операций. По-крайней мере, если бы они хотели доделать Maude до уровня какого-то более менее общего языка программирования, через уравнения операции ввовда-вывода и надо было бы реализовывать.

abacaba ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.