处理的人工智能领域，以图灵测试为目标）。此领域中有研究者持有观点：“符号演算系统可以衍生出智能。”。它首先使用了列表(抽象数据类型)与递归。1958年，约翰·麦卡钖在麻省理工学院发明了Lisp程式语言，採用了资讯处理语言的特征。1960年，他在《ACM通讯》发表论文，名为《递回函数的符号表达式以及由机器运算的方式，第一部》（Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I）。在这篇论文