Prologのプログラムの論理式を否定します。 さらに、含意を論理和と否定のかたち $ (H~\to~G) \Leftrightarrow (\lnot~H~\lor~G) $ にします。 すると、ホーン節とゴール節の否定を連言になります。