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