|
⇤ ← 2010-03-10 00:52:14時点のリビジョン1
サイズ: 14
コメント:
|
サイズ: 765
コメント:
|
| 削除された箇所はこのように表示されます。 | 追加された箇所はこのように表示されます。 |
| 行 2: | 行 2: |
第５世代プログラミングで一時期有名になった論理型の言語です。 Prologらしいプログラムを１つ示します。 エイトクイーンを解くプログラムです。 エイトクイーンを解くプログラムはいろいろな言語で書かれていますが、 そのほとんどはループまたは再帰を用いた探索を記述したものです。 ここで示すのはユニフィケーションだけで解くもので、 Prologならではのプログラムになっています。 . [[attachment:8queen.pl]] このプログラムは次のプログラムを用いて生成しました。 . [[attachment:nqueen.pl]] . Nを与えて上のプログラムを生成します。 |
