霍恩子句

一個子句（即，析取的文字）如果它最多包含一個正文字，則稱為霍恩子句。霍恩子句通常寫作

或

其中 且 是唯一的正文字。

確定子句是具有恰好一個正文字的霍恩子句。沒有正文字的霍恩子句稱為目標。

霍恩子句表達了一階邏輯語句的一個子集。程式語言 Prolog 構建於霍恩子句之上。Prolog 程式由確定子句組成，並且 Prolog 中的任何問題都是一個目標。