[net.ai] Lisp for IBM machines

JK%SU-AI@sri-unix.UUCP (01/13/84)

From:  Jussi Ketonen <JK@SU-AI>

                [Reprinted from the SU-SCORE bboard.]

Standard Lisp runs quite well on the IBM machines.
The folks over at IMSSS on campus know all about it --
they have written several large theorem proving/CAI programs for
that environment.