Prolog

第５世代プログラミングで一時期有名になった論理型の言語です。

Prologらしいプログラムを１つ示します。

エイトクイーン(N-Queen)を解くプログラムです。

エイトクイーン(N-Queen)を解くプログラムはいろいろな言語で書かれていますが、 そのほとんどはループまたは再帰を用いた探索を記述したものです。

ここで示すのはユニフィケーションだけで解くもので、 Prologならではのプログラムになっています。

8queen.pl

このプログラムは次のプログラムを用いて生成しました。

nqueen.pl

Nを与えて上のプログラムを生成します。