LISP语言程序是指 一种用于处理符号表达式的函数式程序设计语言。它由约翰·麦卡锡在20世纪50年代后期设计，其设计原理基于数学中的函数与函数作用的概念。LISP语言奠定了函数式语言的基础，具有以下特点：
纯LISP语言：
完全非von Neumann风格，没有使用ALGOL60等语言中的可修改变量、赋值语句、转向语句等概念。LISP程序与其数据结构采用了完全相同的结构形式与处理方式，因此可以方便地用LISP来编写解释程序。
S表达式：
LISP使用S表达式（Symbolic Expression）作为代码和数据的一种统一表示方式，这使得程序可以轻松地操作自身。
递归数据结构和控制结构：
LISP天然支持递归，并引入了递归数据结构和递归控制结构，以及新的条件表达式形式。
函数式编程范式：
LISP支持函数作为一等公民，允许函数作为参数传递和返回值，支持高阶函数等函数式编程特性。
元编程能力：
LISP具有强大的元编程能力，允许程序在运行时修改自身的结构。
动态类型系统：
LISP是一种动态类型语言，变量的类型在运行时确定。
应用领域：
LISP长期以来在人工智能领域占据重要地位，几乎被用于所有的人工智能程序，并且通常是那些需要强大交互式工作环境的应用程序的首选环境。
综上所述，LISP语言程序以其独特的设计理念和强大的表达能力，在计算机科学和人工智能领域发挥了重要作用，并且其简洁的语法和强大的列表处理能力使其成为许多复杂问题的有力工具。