MLISP is a meta-notation for LISP.  It makes LISP programs easier
to write and understand.  MLISP is maintained by Dave Smith and
is described in AI memo AIM-135 (CS-179), available online as
MLISP.DAV[AIM,DOC].

To interactively translate and execute MLISP expressions, type
	.R MLISP
	*<expression> ; <expression> ; ...

To translate and execute an MLISP program on a file, type
	.R MLISP
	*LISP;
	*(MLISP <filename>)

To translate an MLISP program and print out its LISP translation, type
	.R MLISPC
	*LISP;
	*(MLISP  <filename>  NIL)

To translate an MLISP program and compile it to LAP, type
	.R MLISPC
	*LISP;
	*(MLISP  <filename>  T)

A version of MLISP using UCI LISP exists.  Type "R MLISP.UCI" instead of
"R MLISP" or "R MLISPC".  However the UCI MLISP does not contain the UCI
compiler, so programs to be compiled must first be translated to LISP
and then compiled as usual.