30年くらい前にPrologでけっこうごついアプリを書いた事が有る。最初のうちはなかなかデバッグ出来なくて困っていたのだが（Trace文だけでデバッグしてたので）そのうちにPrologがどういう思考で作られて動いているのか分かってきたのでまったく苦ではなく ...

論理型言語として知られるPrologについて学びましょう。前回はSWI-PrologのインストールとProlog言語の基礎知識について紹介しました。今回は、初歩のPrologプログラミングについてステップ・バイ・ステップで触れてみましょう。ゆっくりと進めていきます。

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