Maude
Maude er et programmeringsspråk med spesiell vekt på logisk spesifikasjon; det finnes mer informasjon i brukermanualen og på språkets nettside.
Plassbehov
En installasjon av Maude vil trenge rundt 3 Mbyte.
Installasjon
- Last ned Maude fra maude.cs.uiuc.edu/
- Kjøres ved å eksekvere maude.darwin64
Bruk
Maude kan brukes fra kommandolinjen i Terminal applikasjonen, ofte ved at man legger en symbolsk lenke (symlink) fra en lokasjon du har i søkestien til der du la maude.darwin64. Eksempelvis: maude mittprogram.maude