Prolog
第５世代プログラミングで一時期有名になった論理型の言語です。
Prologらしいプログラムを１つ示します。
エイトクイーン(N-Queen)を解くプログラムです。
エイトクイーン(N-Queen)を解くプログラムはいろいろな言語で書かれていますが、 そのほとんどはループまたは再帰を用いた探索を記述したものです。
ここで示すのはユニフィケーションだけで解くもので、 Prologならではのプログラムになっています。
このプログラムは次のプログラムを用いて生成しました。
- Nを与えて上のプログラムを生成します。