MLISP is a meta-notation for LISP.  It  makes LISP programs easier to read
and write.  MLISP is maintained by Dave Smith (DAV) 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 UCI MLISP does not contain the UCI
compiler, so programs to be compiled must first be translated to LISP
form and then compiled using the UCI compiler.