霍恩子句（Horn Clause）和霍恩逻辑

一个子句是文字的析取。霍恩字句是带有最多一个肯定文字的子句，肯定文字指的是没有否定符号的文字。例如是一个霍恩子句，他可以等价地写成。

霍恩逻辑是一阶逻辑的子集。基于霍恩逻辑的知识库是一个霍恩规则的集合。一个霍恩规则由原子公式构成：。其中H是头原子公式，，是体原子公式。事实是霍恩规则的特例，它们是没有体原子公式且没有变量的霍恩规则。例如学生（小明）是一个事实，它可以简写为学生（小明）。

霍恩逻辑的优点

结构性。能把事物的属性以及事物间的各种语义联想显式地表达出来。

严密性。有形式化的语法和语义，以及相关的推理规则。

易实现性。可判定，可以转换为计算机内部形式，以便用算法实现。