MLISP2 is a powerful AI language based on LISP/MLISP.  Capabilities
include backtracking, pattern-matching, and list-processing.  MLISP2
is maintained by Dave Smith and is described in AI MEMO 195,
available online as MLISP2.DAV[AIM,DOC].

To translate an MLISP2 program, type
	.R MLISP2 <core_size>
	*(PARSE <source_file>)

To translate an MLISP2 program and print out its LISP translation, type
	.R MLISP2.PRI <core_size>
	*(PARSE <source_file> <destination_file>)
		or
	*(PARSE <source_file> <destination_file> NIL)
The second alternative makes MLISP2 act like a compiler-compiler;
namely, it translates and prints without executing the translation.

To use MLISP2 (rather than LISP) as the top level notation, type
	.R MLISP2 <core_size>
	*(PARSE)
Exit from this mode by typing _EOF_