Declarative Programming (声明范式)

声明式编程由若干规范（specification）的声明组成的，即一系列陈述句：‘已知这，求解那’，强调‘做什么’而非‘怎么做’。
声明式编程是人脑思维方式的抽象，即利用数理逻辑或既定规范对已知条件进行推理或运算。
代表语言 ：SQL

WhatIs

逻辑式编程通过提供一系列事实和规则来推导或论证结论。
代表语言 ：Prolog（PROgramming in LOGic）