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