霍恩子句

一个子句（即，析取的文字）如果它最多包含一个正文字，则称为霍恩子句。霍恩子句通常写作

或

其中 且 是唯一的正文字。

确定子句是具有恰好一个正文字的霍恩子句。没有正文字的霍恩子句称为目标。

霍恩子句表达了一阶逻辑语句的一个子集。编程语言 Prolog 构建于霍恩子句之上。Prolog 程序由确定子句组成，并且 Prolog 中的任何问题都是一个目标。