Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I

著者: John McCarthy - Communications of the ACM, CACM 1960 被引用: 1,370

A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. The system was designed to facilitate experiments with a proposed system called the Advice Taker, whereby a machine could be instructed to handle declarative