1，应用序与正则序

惰性求值/延时求值不止带来性能上的优化，更带来行为本质上的变化

2，非确定性计算

将选择与回溯机制隐藏在语言内部，可轻松解决诸如21点之类的问题，因为“描述即解”

3，规则

一条规则就是一个逻辑蕴含：如果对所有模式变量的一个赋值满足规则的体，那么它就满足其结论；规则的体可以看作一组条件的组合，规则的结论可以看作对满足这组条件的实例进行的描述

4，合一

模式匹配的一种推广，即为了找出查询时应该使用哪条规则，而找出规则结论与查询条件能够模式匹配的那条规则

5，逻辑程序设计的目标

为程序员提供一种技术，它能将计算问题分解为两个相互分离的问题：“什么”需要计算，以及“如何”进行这一计算；通常“如何”进行计算便是一组规则，“什么”需要计算便是规则的结论，从使用者的角度来说，对规则的“描述即解”，SQL应该是一种典型的应用

6，not

逻辑程序设计语言里的not反映了一种所谓的“封闭世界假说”，它认为所有有关的知识都已经包含在所用的数据库里了