Без заголовка

Maude, кстати, вполне жив. У них версия 2.6 вышла в апреле 2011 года, и куча проектов не только в США, но и Испании (например, http://moment.dsic.upv.es/). Они определяют Maude и в том числе как семиотический фреймворк (а не только как логический фреймворк), что примерно соответствует моему пониманию единства всех этих подразделов информатики.