welcome: please sign in

ページのコンテンツをアップロード

下記のページ名のコンテンツをアップロードすることができます。 もしページ名を変更すれば、別のページのコンテンツをアップロードすることもできます。 ページ名が空の場合、ファイル名からページ名を決定します。

ページコンテンツを格納したファイル
ページ名
コメント

location: Prolog

Prolog

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

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

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

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

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

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