- 1 名前：デフォルトの名無しさん mailto:sage [2009/02/25(水) 20:23:54 ]
- 過去スレ
Prologでまったり Part3
pc11.2ch.net/test/read.cgi/tech/1193354806/
PrologでまったりPart 2
pc11.2ch.net/test/read.cgi/tech/1102664221/
Prolog でまったり
pc5.2ch.net/test/read.cgi/tech/976462999/
リンク集
www.summa.jp/lang/logic/prolog.htm
bach.istc.kobe-u.ac.jp/prolog/
チュートリアル
www.amzi.com/AdventureInProlog/
computing.unn.ac.uk/staff/cgpb4/prologbook/
www.intranet.csupomona.edu/~jrfisher/www/prolog_tutorial/pt_framer.html
bach.istc.kobe-u.ac.jp/prolog/intro/
www.geocities.jp/m_hiroi/prolog/
www.asahi-net.or.jp/~JF1T-YSD/prologV2/
- 686 名前：デフォルトの名無しさん mailto:sage [2010/01/05(火) 17:12:48 ]
- 亀レスすいません>>683です
does not exist
とでてしまいます
- 687 名前：デフォルトの名無しさん mailto:sage [2010/01/05(火) 18:08:14 ]
- >>686
字下げのための全角スペースが述語名の一部となっている？
字下げがしてありますね。2chでは2個以上の半角スペースはなぜか、一個に
まとめられてしまいます。それで、はっきりした字下げを表現するため、
半角スペースは全角のスペースに書き換えられています。もし、この状態から
copy&pasteでコードを写すと、' leagal'(jealousy( ... というような
全角二個が前に付いた述語が定義されることになってしまいます。
これだと、副目標 leagal(jealousy([2,3],[2,3],[1],[1])) はleagal/1が
存在しないとなります。そういうことがないか確かめてください。
- 688 名前：デフォルトの名無しさん mailto:sage [2010/01/10(日) 00:01:46 ]
- >>687さん
亀レスで重ね重ねすいません
どうやら勘違いしていたみたいで無事できました。
本当にありがとうございました。
- 689 名前：デフォルトの名無しさん mailto:sage [2010/01/12(火) 08:58:47 ]
- 昨秋以降 Wikipedia のPrologの項が大幅に更新されました。
ご存知ない方のために、一度ageて広報します。
- 690 名前：デフォルトの名無しさん [2010/01/12(火) 09:00:33 ]
- 昨秋以降 Wikipedia のPrologの項が大幅に更新されました。
ご存知ない方のために、一度ageて広報します。
すみません、上げ損なったので再度書き込みます。
- 691 名前：デフォルトの名無しさん mailto:sage [2010/01/12(火) 15:45:08 ]
- やっと規制解除された…以下記念に再掲
sports2.2ch.net/test/read.cgi/entrance2/1258584095/975
975 ：Classical名無しさん sage ：09/12/22 23:06 ID:Eyor18Do
pc12.2ch.net/test/read.cgi/tech/1235561034/601-700
Prolog猿ビア探検隊
ttp://cpansearch.perl.org/src/JJORE/AI-Prolog-0.740/examples/monkey.pl
ttp://web.archive.org/web/20060213075213/www.compapp.dcu.ie/~alex/LOGIC/monkey.html
> perform(climb,
> state(MP, BP, onfloor, H),
> state(MP, BP, onbox, H)).
猿の位置（MP）と箱の位置（BP）が違っても
猿が箱の上に登れるようになってると思うけど、変ではなかろうか
- 692 名前：デフォルトの名無しさん mailto:sage [2010/01/12(火) 18:12:10 ]
- >>679
jelousyという構造（複合項）の形が食い違っている上に説明がないので憶測で書きますが、
legal(jealousy(_,LMs,LFs,RMs,RFs)) :- legal_bank(LMs,LFs), legal_bank(RMs,RFs), !. % RMsはright (bank) malesの略、他も同様
legal_bank(Ms,Fs) :- \+ ( member(F,Fs), \+ member(F,Ms), member(M,Ms), M =\= F ).
こんな一行勝負もどうでしょうか。
あるいは場合分けして
legal_bank([],_). % そもそも男がいない（いても女だけ）
legal_bank(Ms,Fs) :- \+ ( member(F,Fs), \+ member(F,Ms) ). % 夫と離れた女がいない（すべての女に夫がついている）
- 693 名前：デフォルトの名無しさん mailto:sage [2010/01/12(火) 18:13:43 ]
- いつも間違える…
× jelousy → jealousy
- 694 名前：デフォルトの名無しさん mailto:sage [2010/01/18(月) 22:45:37 ]
- 10年以上前にProlog協会という団体主催のPrologの講習を受講した。
その時、実践的だがすごく癖のある授業をやった人がいた。たしか会長か副会長。
pc12.2ch.net/test/read.cgi/tech/126144349/
を呆然とROMしているのだけど、Prologのコードを書いてる人、
あの人ではないかと思えてきた。
- 695 名前：デフォルトの名無しさん mailto:sage [2010/01/19(火) 04:15:20 ]
- 126144349
1261443439 ←こっちと思われ
いろんな言語で宿題スレ 第三編
- 696 名前：デフォルトの名無しさん mailto:sage [2010/01/19(火) 06:20:43 ]
- >>695
そうでした。どこで一桁落ちたのかな。ご足労掛けました。
repeatに引数を加えていくとmemberになるという内容の授業だった。
引数の付加の仕方によって、どう性質が変わるかを副目標側のからの
視点で徹底的に考える。ただそれだけ。
このスレの>>652-655辺りも、もしかしてw
- 697 名前：デフォルトの名無しさん mailto:sage [2010/01/19(火) 06:40:55 ]
- それにしてもあのスレのPrologのコードは強烈ですね。私のProlog観は
完全に打ち砕かれましたw 太宰治が書いたコードのようです。饒舌で。
もうひとり数式処理向きの関数型言語で書き込んでいる方がいて
こちらのコードは極端に短いものが多くて、際立った対照を示して
いて、見てて飽きないですよ。
- 698 名前：デフォルトの名無しさん mailto:sage [2010/01/20(水) 11:06:13 ]
- >>694
そのころProlog協会の代表幹事はK-Prologの作者です。別人ですね。
- 699 名前：デフォルトの名無しさん mailto:sage [2010/01/21(木) 10:32:01 ]
- >>694
Prologには帰納推論をやる一派がいたので、
近くの研究室にも、ああいうプログラム書ける人たくさんいたよ。
意外とあちこちに潜んでいるのでは？
- 700 名前：デフォルトの名無しさん mailto:sage [2010/01/22(金) 23:14:28 ]
- 第五世代の評価というか総括をしている文献って知りませんか？
一体第五世代計画とはなんだったのかということが非常に気になっています。
できれば、西垣通氏のルルス関連の話のように社会学関連のアプローチだと
なお嬉しいです。
- 701 名前：デフォルトの名無しさん mailto:sage [2010/01/22(金) 23:29:22 ]
- >>700
>>650のサイトは見た？
というか、宗教と第五世代に関連性はありません。
- 702 名前：デフォルトの名無しさん mailto:sage [2010/01/23(土) 00:00:09 ]
- >>701
そこのサイトはすでに見ました。
第五世代で宗教にアプローチなんてしていないので関連性があるなんて思ってないですよ。
そうじゃなくて、社会学的にどういう位置づけになっているのかどうかということです。
技術的な話は発散しているので必要なもの以外は追うつもりはないです。
- 703 名前：702 mailto:sage [2010/01/23(土) 01:51:12 ]
- でも、実際最初は自分も西垣氏の話を読解力の無さから読み違えてたので他人のことは言えません。
ちゃんと読み解くとそんなことは言ってないのですよね。
- 704 名前：デフォルトの名無しさん mailto:sage [2010/01/23(土) 04:41:03 ]
- 上前淳一郎が第五世代コンピュータに関するノンフィクションを書いている。
社会的背景が生き生きと描かれていて面白い。
- 705 名前：デフォルトの名無しさん mailto:sage [2010/01/23(土) 05:27:13 ]
- 奇妙なことはあれだけのプロジェクトにも関わらず、
出版物として総括した大冊がないことです。途中までは共立出版等から
啓蒙本が多数出版されていたのですが、肝心の並列処理に入ってから
はさっぱりでしたし、終了後にまとめがあるのかと思ったら、
研究発表以外にはない。総予算の規模からいってもバランスが悪く
異様です。手を挙げる出版社がなかったからでしょうか。
- 706 名前：デフォルトの名無しさん mailto:sage [2010/01/23(土) 08:47:54 ]
- 大冊を求めてるなら、知らん、としか答えられんが。
淵氏がコラム程度の分量を書いたものなら、『情報処理』で見かけた記憶はある。
- 707 名前：702 mailto:sage [2010/01/23(土) 12:27:02 ]
- >>704
"めざすは新世代コンピュータ？「日本の夢」に挑む頭脳集団 (角川文庫)"
ですね。これはおもしろそうです。早速読んでみます。
>>705
結局何をしたかったのかよくわからないのですよね。
啓蒙書の類も推論や言語を扱うという意外は一貫性がないです。
一番おかしいと思うのが、アーキテクチャを作るという計画のハズなのに、
アーキテクチャに関する文献が見当たらないというところです。一般向けでは
ないからかもしれないですけど、それにしても見当たらなすぎるのですよね。
本当のところ淵氏としては、認知科学やりたかったんじゃないかと、
www.amazon.co.jp/dp/4140014466/
>>706
「情報処理」のコラムですね。国会図書館あたりで探してみます。
- 708 名前：デフォルトの名無しさん mailto:sage [2010/01/23(土) 14:53:47 ]
- 個人的には、当時としてはやってみなければ成否は誰にも断言できないことだったのかもしれないとは思うが
たとえば人工知能云々には当時ですら胡散臭さやら無邪気すぎるものやらを感じたなあ。
そういう点で>>704は興味深いと思う。
結局はこういう話になってしまうのだろう
ja.wikipedia.org/wiki/%E7%AC%AC%E4%BA%94%E4%B8%96%E4%BB%A3%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF
- 709 名前：デフォルトの名無しさん mailto:sage [2010/01/23(土) 14:59:37 ]
- もちろん、真面目な研究が行なわれていた（らしい）のはわかるけどねｗ
技術的にあんまり突っ込んだことを追う気はないようだが
共立出版の「続・新しいプログラミング・パラダイム」の「並行プログラミングとＧＨＣ」が
文献リストなども含めて何かの手がかりになるかもしれない
- 710 名前：デフォルトの名無しさん mailto:sage [2010/01/23(土) 15:34:37 ]
- 第五世代コンピュータの並列処理
滝 和男 編
発行年月：1993年06月
発売元：共立出版
というのはあったんだけどね。
最初のころの話に出ていた、データフローマシンとか、リダクションマシンとか、いわゆるノイマン型とは根本的に
違うものがつくられることを期待していたから、実際にできたのがノイマン型を並列化したものだと知ってガッカリした。
技術的にはすごいことなんだろうけどね。
- 711 名前：デフォルトの名無しさん mailto:sage [2010/01/23(土) 15:49:34 ]
- www.jstage.jst.go.jp/article/jssst/25/3/3_66/_pdf/-char/ja/
淵氏としてはプロジェクトは成功なんですよね。
- 712 名前：デフォルトの名無しさん mailto:sage [2010/01/23(土) 15:56:37 ]
- ”成果の具体的な内容については、報告書類が山のようにある。これは秘密では
ないので１２年分を入手して検討すれば、試行錯誤を含めて全部わかるように
なっている。しかし膨大なことになるので、解読してくれるような奇特な人が
いるかどうか。”
なんとなく予感はしていたのですがJIPDECのサイトは内容についてどなたも全容を
把握していないのではないですか？
- 713 名前：デフォルトの名無しさん mailto:sage [2010/01/24(日) 01:22:15 ]
- >>700
> 社会学関連のアプローチ
そもそもこれが何を意味するかはともかくとしてだｗ
そういうものが今になっても存在しない（？）あたりが
今も昔も産官学の限界なんだよね
で、Prologスレで手に負える話ではないのでそろそろ勘弁してもらいたい
- 714 名前：デフォルトの名無しさん mailto:sage [2010/01/24(日) 01:53:00 ]
- 建設的な話でもあればいいけど、怪しいですよね、おかしいですよねの列挙だったら
スレ違いかもしれないな。
実際それは挙げていったらきりがないと俺も思うがｗ
- 715 名前：デフォルトの名無しさん mailto:sage [2010/01/24(日) 08:46:47 ]
- 誰かが立てて放置されてる第五世代スレがありそうなもんだが。
それを再利用するとか。
- 716 名前：デフォルトの名無しさん mailto:sage [2010/01/24(日) 23:55:47 ]
- 東大や理科大行けば、論文やテクニカルレポートが全部残ってるはず。
>>705
バランスが悪いということだけど、
例えば国内外のどの研究プロジェクトと比べて、
「啓蒙書が少ない」ことが「異様」なのでしょうか。
むしろ、異常なくらい教科書的な書籍を産み出したプロジェクトだと思いますが。
>>707
Σ計画なんかもそうですが、お金が動かないと、
官僚＆政治家はなかなか新しいプロジェクトを始めてくれません。
メーカーへ予算ばらまきが出来るようにするには、
ハードウェアも込みである必要があるのです。
これは研究プロジェクトというより、誠治の方の問題です。
- 717 名前：デフォルトの名無しさん mailto:sage [2010/01/25(月) 00:53:46 ]
- >>716
真っ先に仕訳の対象になるわ
- 718 名前：デフォルトの名無しさん mailto:sage [2010/01/25(月) 16:18:45 ]
- >>716
教科書的な書籍とは共立出版の「知識情報処理シリーズ」のことですか？
- 719 名前：デフォルトの名無しさん mailto:sage [2010/01/25(月) 18:18:26 ]
- ICOTの成果が出始めるのはこれからだよ。20年後かも。
- 720 名前：デフォルトの名無しさん mailto:sage [2010/01/25(月) 21:49:52 ]
- >>719
Prolog は論文を書くためだけの言語
ICOTの成果として、狙い通り、論文が大量生産された
- 721 名前：デフォルトの名無しさん mailto:sage [2010/01/26(火) 01:10:47 ]
- Prologを材料に論文を書くの意味ですか。
でも、あなただって携帯が故障したら、Prologのお世話に
なってるかも知れませんよ。
- 722 名前：デフォルトの名無しさん mailto:sage [2010/01/26(火) 04:58:09 ]
- GHCなんかは、並列(平行)に「仕切る」ための言語という
印象が強いのだけれど、そういう位置での制御要請は
今後多くなっていくものだろうか。
- 723 名前：デフォルトの名無しさん mailto:sage [2010/01/28(木) 10:38:47 ]
- >>722
個々の自動車の平行プログラミングは関数型で勝手にやらせるので済むかもしれないが、
俯瞰的な平行動作、たとえば自動車と通信しながら制御する信号の記述などでは
GHC的なものが最有力ではないか。
- 724 名前：デフォルトの名無しさん mailto:sage [2010/02/11(木) 04:23:23 ]
- クラウドコンピューティングが来ている以上、GHCの並列計算が見直される
チャンスも普通に多いだろ。誰も提案しないだけで。
- 725 名前：デフォルトの名無しさん mailto:sage [2010/02/11(木) 16:58:18 ]
- クラウドコンピューティングは並列計算じゃなくて分散技術や信頼性工学の話だからな…
- 726 名前：デフォルトの名無しさん mailto:sage [2010/02/17(水) 18:38:27 ]
- >>721
携帯じゃなくて、ADSL回線じゃなかったっけ？
- 727 名前：デフォルトの名無しさん mailto:sage [2010/02/18(木) 18:18:33 ]
- 携帯の故障診断はさすがに大変じゃないかな。半端な数でないし。
ADSLでも10台以上同時に動かしてるんでしょ。それにしても、
こんな大規模な実務に使われてるのにAZ-PrologはWikipediaにも紹介
されてないね。
- 728 名前：デフォルトの名無しさん mailto:sage [2010/02/19(金) 10:26:25 ]
- 正直MapReduceがどうしてこれほどもてはやされてるのか分からない。
あんなん普通にやってたことっしょ？
大規模に現実に適用したからってこと？
- 729 名前：デフォルトの名無しさん mailto:sage [2010/02/19(金) 16:58:50 ]
- >>727
5年以上前だと思うけれど、ソフトバンクが10人単位でPrologプログラマの
募集をした。ところが応募はなかったらしい。
ソフトバンク+Prologという組み合わせでは将来の地位が不安ということ
だったのかも知れないけど、日本の大学生も根性がないね。
- 730 名前：デフォルトの名無しさん mailto:sage [2010/02/19(金) 18:20:35 ]
- 威勢がいいだけならチンピラ
- 731 名前：デフォルトの名無しさん mailto:sage [2010/02/19(金) 18:35:15 ]
- 威勢ねぇw
- 732 名前：デフォルトの名無しさん mailto:sage [2010/02/19(金) 18:45:12 ]
- Prologで実務的なプログラムを書くことができる人は四十台後半より上。
あと10年待てば大量にリタイアが始まるから供給は充分になる。
- 733 名前：デフォルトの名無しさん mailto:sage [2010/02/19(金) 20:08:41 ]
- >>729
ソースは？
- 734 名前：デフォルトの名無しさん mailto:sage [2010/02/20(土) 00:41:47 ]
- >>733
私が募集しているという記事を読んだ。こちらはたしか。
誰も来なかったというのはうわさ話。
- 735 名前：デフォルトの名無しさん [2010/03/02(火) 21:43:53 ]
- 復旧おめでとう age
- 736 名前：デフォルトの名無しさん mailto:sage [2010/03/08(月) 06:43:51 ]
- お願いがあります。
「いろんな言語で宿題 第三編」pc11.2ch.net/test/read.cgi/db/1252492296/ スレが
512Kb越えで終了してしまいました。
新しい「いろんな言語で宿題 第四編」スレを作ろうとしたところ、
現在スレ立て規制中、とのこと。私は2chのユーザIDとパスワードを忘れてしまって
特権がないので、だれか立てられる人がいたら立ててください。前口上は
「前回スレは512Kbを越えたため、終了しました」だけで結構です。
- 737 名前：デフォルトの名無しさん mailto:sage [2010/03/08(月) 12:56:10 ]
- >>736
ためしにやってみたら、できてしまいました。
いつもお世話になっています。
J言語などでかきこみしているものです。
これからもよろしくお願いします。
- 738 名前：デフォルトの名無しさん mailto:sage [2010/03/08(月) 15:13:44 ]
- >>737
ありがとうございました。私のPrologコードは外連ですが、
あなたのプログラム群のおかげであのスレはム板の中で一番
輝いています。
"bit"は1970年代中頃から愛読していましたが、結局休刊になる
前に購読しなくなりました。配達してくれていた書店が廃業した
ので。
- 739 名前：デフォルトの名無しさん mailto:sage [2010/03/08(月) 17:52:10 ]
- >>738
新しいスレ、なんか変なことになってますが、私は1番しかかいてないですよ。
「bit」は読んでいましたけど。
- 740 名前：デフォルトの名無しさん mailto:sage [2010/03/08(月) 18:17:26 ]
- 荒れないうちに問題をはじめましょう。
- 741 名前：デフォルトの名無しさん mailto:sage [2010/04/27(火) 23:15:52 ]
- 辞書なんて所詮、偽装された百科辞典だ。
- 742 名前：デフォルトの名無しさん mailto:sage [2010/07/04(日) 14:42:52 ]
- Prologの現代的（？）な応用って何かある？
到達点がエキスパートシステムとか自然言語処理とか止まりだと先が無さそうに思うんだけど。
- 743 名前：デフォルトの名無しさん mailto:sage [2010/07/04(日) 15:28:25 ]
- >>742
エキスパートシステムや自然言語処理が我々のプログラミングの随所に
登場という状況を知らない。まだ、そのレベルにも達していないのでは。
- 744 名前：デフォルトの名無しさん mailto:sage [2010/07/04(日) 15:32:43 ]
- Prologの役割は自然言語によるプログラミングへの橋渡しをすることに
ある。まだ何も始まっていない。
- 745 名前：デフォルトの名無しさん mailto:sage [2010/07/04(日) 15:39:38 ]
- 当分の間始まる見込みもない
- 746 名前：デフォルトの名無しさん mailto:sage [2010/07/04(日) 20:58:06 ]
- >>742
Prologの現代的な応用 ： 論文を大量生産する
- 747 名前：初心者 [2010/07/04(日) 23:36:36 ]
- prologを勉強してて、以下のページの
mayah.jp/article/2002/reversi#toc-tplace-pl
このリストがよくわからないのですが
[[X, X, X, X, X, X, X, X],
[X, X, X, X, X, X, X, X],
[X, X, X, X, X, X, X, X],
[X, X, X, X, X, X, X, X],
[X, X, X, X, X, X, X, X],
[X, X, X, X, X, X, X, X],
[X, X, X, X, X, X, X, X],
[X, X, X, X, X, X, X, X]]
わかるかたお願いします。
自分的には、
[[X, X, X, X, X, X, X, X],
[X, X, X, X, X, X, X, X]]
の縦と横のリストだけでいいのではと思うのですが。
- 748 名前：デフォルトの名無しさん mailto:sage [2010/07/05(月) 04:34:12 ]
- ＞もともと大学の課題なので、データ構造等は結構適当に定められてしまっています。
らしいですよ
- 749 名前：デフォルトの名無しさん mailto:sage [2010/07/05(月) 06:45:55 ]
- >>747
部分的な局面の思考に全局面のデータを持ち回ることはないだろう、という意味ですか？
- 750 名前：初心者 [2010/07/05(月) 17:59:40 ]
- >>749
そう思ったのですが・・・
やはり、全マスをあらわしてるのでしょうか
- 751 名前：デフォルトの名無しさん mailto:sage [2010/07/06(火) 06:07:17 ]
- >>750
私は実行時のヒープ領域やスタックの実際の使われ方、動きについては詳しくないので
他の方の説明を待つとして、
・ 全局面を表すリストのリスト(8×8)を引数で渡していくことにあまりコスト(時間とメモリ)はかからないと思う。
・ 全局面のデータを単位節と定義しておいて、それを参照して、部分リストと二本取り出し、
それを加工してから、list_nthとappendを駆使して(実際には一つの述語にまとめるだろうが)元の全局面データである単位節をretract+assertするのは
結構コストがかかる選択なのではないか。
- 752 名前：デフォルトの名無しさん [2010/07/18(日) 18:45:24 ]
- 学校の宿題で、ハノイの塔の問題が出たんですが・・・棒が5本のときの組み方がわかりませんorz
誰か助けて下さい！
ちなみに3本のときは、
move(N,A,B) :- display(N), display(' from '),
display(A), display(' to '),
display(B), nl.
hanoi(1,A,B,C) :- move(1,A,C).
hanoi(N,A,B,C) :- M is N-1, hanoi(M,A,C,B),
move(N,A,C),
hanoi(M,B,A,C).
こんな感じで書きました。
- 753 名前：デフォルトの名無しさん mailto:sage [2010/07/21(水) 06:10:01 ]
- 手数が適当でいいなら、同じプログラムが流用できるよねｗ
逆に、手数を最小にせよ、のような縛りがあるなら、別にPrologに特有の宿題じゃないような気がする
- 754 名前：デフォルトの名無しさん [2010/07/23(金) 00:31:29 ]
- >>753
先生がドＳでして・・・手数を最小にするように縛りがあります；
- 755 名前：デフォルトの名無しさん mailto:sage [2010/07/23(金) 23:24:48 ]
- ＦＤって使ってます？
- 756 名前：デフォルトの名無しさん mailto:sage [2010/07/23(金) 23:28:59 ]
- 最近は使う機会がめったに無いね。
ただ、たまに緊急ブートで使うことがあるから確保はしてあるけど。
- 757 名前：デフォルトの名無しさん mailto:sage [2010/07/23(金) 23:46:29 ]
- まさかフロッピーディスク？wwww 今時FDドライブ付いてるPC少ないだろ
>>755はCLPのFD(Finite Domain)のことじゃねーの？あれ、釣られた？
- 758 名前：デフォルトの名無しさん mailto:sage [2010/07/23(金) 23:50:22 ]
- 覆面算ならＦＤに限る
|
 |
