Provided by: maude_2.7-2_amd64 bug


       Maude - A high-performance logical framework


       maude [options] [files]


       This  manual  page  documents briefly the Maude interpreter.  This manual page was written
       for the Debian distribution because the original program does not have a manual page.

       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.

       --help display help information

              Display version number

              Do not read in the standard prelude

              Do not output banner on startup

              No advisories on startup

              Do not use mixfix notation for output

              Do not automatic line wrapping for output

              Use ANSI control sequences

              Do not use ANSI control sequences

       -tecla Use tecla command line editing

              Do not use tecla command line editing

       -batch Run in batch mode

              Run in interactive mode

              Set seed for random number generator

              Set file in which to produce an xml log


       Copyright (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.

       Copyright (c) 1997 - 2002, Makoto Matsumoto and Takuji Nishimura,

       Copyright (c) 2000 - 2003, Richard J. Wagner


       Send bug reports to:


              Official Maude website

       Mailing lists:
              A moderated list for the discussion of topics of  general  interest  to  all  Maude
              Help list for questions about using Maude.


       This  manual page was written by Scott Christley <> based upon the Maude
       help text.

                                          February 2011                                  MAUDE(1)