maude command not found

Introduction

When you run more command in linux terminal / console, you get the following error message

maude: command not found

or when using sudo you get the following error message

sudo: maude: command not found

Solutions to maude: command not found

How To Fix maude: command not found in Ubuntu / Debian / Kali Linux / Raspbian

In Ubuntu maude is provided by maude package.

maude is:

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation.

Rewriting logic is a logic of concurrent change that can naturally deal with state and with concurrent computations. It has good properties as a general semantic framework for giving executable semantics to a wide range of languages and models of concurrency. In particular, it supports very well concurrent object-oriented computation. The same reasons making rewriting logic a good semantic framework make it also a good logical framework, that is, a metalogic in which many other logics can be naturally represented and executed.

Maude supports in a systematic and efficient way logical reflection. This makes Maude remarkably extensible and powerful, supports an extensible algebra of module composition operations, and allows many advanced metaprogramming and metalanguage applications. Indeed, some of the most interesting applications of Maude are metalanguage applications, in which Maude is used to create executable environments for different logics, theorem provers, languages, and models of computation.

Maude is of interest to the biomedical community for modeling and analysis of biological systems.

To fix this problem, we can install more using the command below.

sudo apt-get -y install maude

This command might take some time to finish depending on your machine internet connection.

You can also use apt command to install maude.

sudo apt -y install maude

Or if you have aptitude installed you can use the following command.

sudo aptitude install maude

Summary

In this tutorial we learn how to fix maude command not found error in Ubuntu / Debian / Kali Linux or Raspbian distribution.