0
lisp
LISP是一种通用高级计算机程序语言，长期以来垄断人工智能领域的应用。LISP作为应用人工智能而设计的语言，是第一个声明式系内函数式程序设计语言，有别于命令式系内过程式的C、Fortran和面向对象的Java、C#等结构化程序设计语言。
LISP名称源自列表处理（LISt Processing）的英语缩写，由来自麻省理工学院的人工智能研究先驱约翰·麦卡锡（John McCarthy）在1958年基于λ演算所创造，采用抽象数据列表与递归作符号演算来衍生人工智能。
LISP为函数式程序设计语言，所有运算都能以函数作用于参数的方式来实现。
LISP没有命令式语言程序中常见赋值语句和变量，重复的过程可以使用递归的函数调用来表示，并不需要使用循环模式。
LISP是古老的函数语言、弱类型、动态推断，其代码本身就是各种列表。每一个表项均可以储存任何类型的数据如数字、函数、符号或一个子表等，在编码时，可以随时操作以更新列表。
LISP核心的操作符只有7个操作符：quote、atom、eq、car、cdr、cons、cond。前三者quote、atom、eq用于符号的推断；car、cdr、cons操纵表格；cond负责分支判断。这种简洁定义，非常接近图灵机原型的纯函数式语言，是现代语言完全无法比拟的。
LISP作为弱类型这优点相对缺点则是运行效率的低下。原始定义简洁的缺点使到大型开发工程变得困难，自底层到高层，自二维表查询到面向对象，使用者需要嵌入更多的函数来实现，致使LISP众多方言的衍生。
LISP是函数式程序设计的先锋，其诸多革命性的创新思维影响了后续编程语言的发展，亦完全垄断人工智能领域的应用长达三分之一个世纪。曾在开展初年出现的低效率因素亦在集体改良中被移去，成就了广被应用于软件开发、电子商务及金融系统的Common Lisp、Scheme、Emacs Lisp和Clojure等。
