Page 25 - 第三代人工智能推动数字经济发展

LISP

-LISt Processing

• LISP 语言与LISP机

• LISP语言：1956年 J. McCarthy “符号数据处理”语言

Common Lisp语言应用：CYC, DART（军事物流规划）, METAL

（商用自然语言翻译系统）, ACL2（定理证明）等

• LISP机：19世纪80年代 Symbolics, Lisp Machines Inc.,

Tl, Xerox 等公司生产

• NewLISP: 是一种脚本（Scripting）语言