【論理】Prolog【初心者】

[1 デフォルトの名無しさん 2010/11/06(土) 13:00:56]

Prolog初心者のスレ

これは良い言語だ…

[95 デフォルトの名無しさん 2010/11/30(火) 05:10:29]

1..それ以外の選択はむずかしいのではないかな。
2.. 日本語マニュアルが必要なら、AZ=Prolog。この処理系は1980年代に一世を風靡した
　　Prolog-KABAの後継を目指して開発されたもので、オンラインマニュアルの他、
　　Prolog-KABAの解説本も参考書になります。
　　今後、多くの仲間とライブラリを分け合ったりしながら発展していくには、
　　SWI-Prologがお勧めです。2000年代に入って最も活性のある処理系だと思います。
　　以前はバージョンによっていろいろ問題がありましたが現在は日本語も制限なく使えます。
おまけ.. Prologに慣れたら、Progol(誤植ではない)という処理系をインストールて
　　機能論理Prologで遊んでみるといいと思います。すでに定義された節から、
　　どうやったら新しいルールをProgolに生成させることができるか。大変興味い
　　テーマを楽しめます。

[96 95 2010/11/30(火) 05:12:33]

機能論理Prolog は 機能論理プログラミングの間違いでした。

[97 95 2010/11/30(火) 05:13:53]

それから AZ=Prolog -> AZ-Prolog

[98 デフォルトの名無しさん 2010/11/30(火) 06:33:50]

>>95
もしProgolに手を出すなら
帰納論理プログラミングの入門書もどうぞ。

帰納論理プログラミング
http://furukawa.sfc.keio.ac.jp/book/
http://www.amazon.co.jp/dp/4320120140/

[99 デフォルトの名無しさん 2010/11/30(火) 07:23:30]

大変! ^ wwww
機能論理プログラミングになっている。
帰納論理プログラミングの間違いです。