Well's Column

Datalog是一种基于逻辑的编程语言。它是一阶谓词逻辑中Horn子句逻辑的一种受限形式，只允许变量或常量作为谓词的自变元，不允许函数作为谓词的自变元。Datalog的语句由事实和规则组成，同Prolog一样，它可以实现对知识库的演绎推理，即可以从已知事实中根据跟着推理得到新的事实。一条Datalog的规则包括如下三部分的内容：            （1）规则头P           

Logic逻辑理论实际上是一个规范性（normative）的理论，而不是一个描述性的（descriptive）理论。即，它并不是用来描述人类究竟是采用何种的形式来推理的，而是来研究人类应该如何有效的进行推理的。经典逻辑：命题逻辑proposition logic一阶谓词逻辑first-order predicate logics / FOL高阶逻辑highe