ホーン節

論理プログラミングの分野では、ホーン節が基本的な構成要素となり、多くの推論システムで用いられる。

プロローグは、ホーン節に基づいて記述されることが多い代表的な論理型言語だ。

この人工知能システムは、ホーン節の推論を利用して複雑な問題を解決する能力を持っている。