であるとき、この節をホーン節(horn clause)と呼ぶ。