·函数式程序设计(functional programming ·程序由一组数学函数构成，计算过程体现为一系列 的函数应用（把函数作用于数据）。 ·基于的理论是递归函数理论和ambda演算。 逻辑式程序设计(logic programming) ○程序由一组事实和一组推理规则构成，在事实基础 上运用推理规则来实施计算。 0 基于的理论是谓词演算。◼ 函数式程序设计（functional programming） • 程序由一组数学函数构成，计算过程体现为一系列 的函数应用（把函数作用于数据）。 • 基于的理论是递归函数理论和lambda演算。 ◼ 逻辑式程序设计（logic programming） • 程序由一组事实和一组推理规则构成，在事实基础 上运用推理规则来实施计算。 • 基于的理论是谓词演算