下記のページ名のコンテンツをアップロードすることができます。 もしページ名を変更すれば、別のページのコンテンツをアップロードすることもできます。 ページ名が空の場合、ファイル名からページ名を決定します。
第５世代プログラミングで一時期有名になった論理型の言語です。
Prologらしいプログラムを１つ示します。
エイトクイーンを解くプログラムです。
エイトクイーンを解くプログラムはいろいろな言語で書かれていますが、 そのほとんどはループまたは再帰を用いた探索を記述したものです。
ここで示すのはユニフィケーションだけで解くもので、 Prologならではのプログラムになっています。
8queen.pl
このプログラムは次のプログラムを用いて生成しました。
nqueen.pl
