welcome: please sign in
location: Prolog

Prolog

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

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

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

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

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

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

Prolog (最終更新日時 2011-03-09 13:01:01 更新者 masahiko)