== Prolog ==

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

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

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

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

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

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

 . [[attachment:nqueen.pl]]
 . Nを与えて上のプログラムを生成します。