大多数程序员考虑编程时，他们都要设想用于编写应用程序的 命令式样式和技术。最受欢迎的通用编程语言（包括 Python 和其它面向对象的语言）在样式上绝大多数都是命令式的。另一方面，也有许多编程语言是 声明性样式，包括函数语言和逻辑语言，还包括通用语言和专用语言。
让我们列出几个属于各个种类的语言。许多读者已经使用过这些工具中的许多工具，但不见得考虑过它们之间的种类差别。Python、C、C++、Java、Perl、Ruby、Smalltalk、Fortran、Basic 和 xBase 都是简单的命令式编程语言。其中，一些是面向对象的，但那只是组织代码和数据的问题，而非基本编程样式的问题。使用这些语言，您 命令程序执行指令序列：把某些数据 放入（put）变量中；从变量中 获取（fetch）数据； 循环（loop）一个指令块 直到（until）满足了某些条件； 如果（if）某个命题为 true，那么就进行某些操作。所有这些语言的一个妙处在于：便于用日常生活中熟悉的比喻来考虑它们。日常生活都是由做事、选择、再做另一件事所组成的，期间或许会使用一些工具。可以简单地将运行程序的计算机想象成厨师、瓦匠或汽车司机。
诸如 Prolog、Mercury、SQL、XSLT 这样的语言、EBNF 语法和各种格式的真正配置文件，都 声明某事是这种情况，或者应用了某些约束。函数语言（比如 Haskell、ML、Dylan、Ocaml 和 Scheme）与此相似，但是它们更加强调陈述编程对象（递归、列表，等等）之间的内部（函数）关系。我们的日常生活（至少在叙事质量方面）没有提供对这些语言的编程构造的直接模拟。然而，对于那些可以用这些语言进行描述的问题来说，声明性描述 远远比命令式解决方案来得简明且不易出错。例如，请研究下面这个线性方程组：
清单 1. 线性方程式系统样本
10x + 5y - 7z + 1 = 0
17x + 5y - 10z + 3 = 0
5x - 4y + 3z - 6 = 0
这是个相当漂亮的说明对象（x、y 和 z）之间几个关系的简单表达式。在现实生活中您可能会用不同的方式求出这些答案，但是实际上用笔和纸“求解 x”很烦，而且容易出错。从调试角度来讲，用 Python 编写求解步骤或许会更糟糕。
Prolog 是与逻辑或数学关系密切的语言。使用这种语言，您只要编写您知道是正确的语句，然后让应用程序为您得出结果。语句不是按照特定的顺序构成的（和线性方程式一样，没有顺序），而且程序员或用户并不知道得出的结果都采用了哪些步骤
