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