Prolog でまったり
■ このスレッドは過去ログ倉庫に格納されています
0001人工無能
NGNGそんなPrologについてまったり話しましょう
0554デフォルトの名無しさん
NGNGそれどういう意味？
＞速度もそんなに変わらんし
インタプリタをインタプリタで駆動すんだから、
むちゃくちゃ遅くなるんじゃないの？
コンパイルするってオチですか？
0555デフォルトの名無しさん
NGNG2周年おめ。
0556デフォルトの名無しさん
NGNGオチもなにも…
まともな処理系なら＊当然＊コンパイラがあるだろ。
0557デフォルトの名無しさん
NGNGprologでprologを作れる可能性が高いけど
prologでprologが作れても
C言語でprologを作れる気がしないので、
prologでprologを作れると自慢してる奴はアフォ。
0558デフォルトの名無しさん
NGNGあのなあ、
インタプリタがすでにあるんならインタプリタ書く必要ねｰじゃねえか。
コンパイラにきまっとるだろヴォケ。
0559デフォルトの名無しさん
NGNG0560デフォルトの名無しさん
NGNG自慢も何も、ふつうそうしてるし…
なぜC言語でPrologコンパイラ書けると偉いのかにゃ？
ただ余計な回り道してるだけに思えるが。
0561デフォルトの名無しさん
NGNGえ？
>>518にインタプリタを＊書く＊って書いてあるけど？
0562デフォルトの名無しさん
NGNGSchemeをCに落とすコンパイラはたくさんある。
そんなのをCで書いてたらｱﾌｫだがナー
0563デフォルトの名無しさん
NGNGだから、CなりPrologなりのコンパイラがまずあって、
Prologインタプリタがまだ無いときの話だろ？
頭があればそれくらい分かる。
0564デフォルトの名無しさん
NGNGC言語に落とすやつだと制限あるんじゃないの？
同じ動作しなかったり。
0565デフォルトの名無しさん
NGNGバイナリーにしても速度はほとんど変わらないよ。
メタインタプリタを実装してバイナリーにすると
速度がどうなるかは実際やった事ないけど、
VMと同じ様な動きになる気がするので・・・
という事は遅いとも限らないのか。
頭がこんがらがった。
0566デフォルトの名無しさん
NGNGまあ、黙って本格的な処理系のソース読んでみろや。
インタプリタは無かったり、コンパイラ使って書いてあったりするから。
0567デフォルトの名無しさん
NGNG0568デフォルトの名無しさん
NGNG制限は機能よりむしろ性能だろうな。
アセンブリ言語に落とすのに比べて、どうしてもペナルティがある。
インタプリタとコンパイラの動作の違いは、
SchemeやCommon Lispなら問題にならないと思う。
Prologは知らん。ISO Prologなら大丈夫じゃないの？
>>565
なんでVMが出てくるの？
0569デフォルトの名無しさん
NGNGなんで？
ｱﾌｫはどうみても>>544だろ。
0570デフォルトの名無しさん
NGNGお前がな（ｗ
0571デフォルトの名無しさん
NGNGなんでいきなりコンパイラの話になるんだろうね？
0572デフォルトの名無しさん
NGNGなぜか、インタプリタをインタプリタで書くなんていう
とんでもない想像をしたｱﾌｫがいるからだろうね。
0573デフォルトの名無しさん
NGNGそりゃ、STLがあるから線形リスト作れなくてもいいって
言ってるのと同じだな。
いい悪いじゃなくて、
能力的に、線形リストを作れる/作れない
の違いがあるだけ。
gccがあるからCコンパイラなんて作れなくても
いいというのは正論だけれど、
Cコンパイラが作れるという理由で
雇ってくれる会社はあるのでは？
要するに
PrologでPrologが作れる事は
100歩譲ってちょっとすごいと表現すれば、
CでPrologが作れる事は
かなりすごいのでは？
君が面接官で
二人の志願者からの情報が
1人がPrologでPrologつくれます。
もう一人がCでPrologつくれます。
どっちが優秀かの判定は簡単だよね？
0574デフォルトの名無しさん
NGNG>>518のことかな？
0575デフォルトの名無しさん
NGNGああ、つまりお勉強って事ね。
既に能力のあるプログラマには関係ない話だな。
ChezやSicstusは、わざわざおべんきょのために、
Cでインタプリタ書くような無駄なことをして
能力を実証する必要など無い。
0576デフォルトの名無しさん
NGNGなんで誰も具体的な商品名と、
ベースにした処理系を聞かないんだ？
0577デフォルトの名無しさん
NGNG＞インタプリタをインタプリタで書く
意味がわからんのだが。
0578デフォルトの名無しさん
NGNG0579デフォルトの名無しさん
NGNGいや、>>554のこと。
0580デフォルトの名無しさん
NGNGLISPでProlog作るのと、
CでProlog作るのと、
どれが一番良い？
0581デフォルトの名無しさん
NGNG「ベースにした処理系」ってどういう意味？
0582デフォルトの名無しさん
NGNGそうそう、勉強というか
実力を測る基準にはなるでしょ？
明らかに必要となる知識が違うしさ。
ただ時間がかかるだけじゃないよ。
あとは、やっぱり高速化って仕事もあるだろうから
C++で書いて自分で高速化したり
他の処理系が使ってる高速化アルゴリズムを知るのも
有益かもね。
>能力を実証する必要など無い。
関係ないけど、
実証しないと誰も認めてくれないよ。
0583デフォルトの名無しさん
NGNGもっとさかのぼって話の流れを追えよバカ。
0584デフォルトの名無しさん
NGNGいや、ChezやSicstusは、そんなｱﾌｫなことしないでも
みんな能力を認めてると思うんだけど（ｗ
0585デフォルトの名無しさん
NGNGMacLispもLisp Machine LispもZetaLispも、その時点で最高速
だった製品は皆そうだったYo。
0586デフォルトの名無しさん
NGNG二人とも俺は知らないけど
(前がlispで後ろがprolog？）
他に業績があれば認めてもらえるのでは？
0587デフォルトの名無しさん
NGNG書いてみるのは良いと思うよ。
コンパイラ書いたほうが勉強になると思うけど。
実用的な処理系を（低レベルルーチンだけならともかく全体を）
Cでわざわざ書いたらちょっと…
と思うけど。
0588デフォルトの名無しさん
NGNG>つーか、70年代ごろから、LispはLispで書いてあるっつーに。
これって、インタプリタを書くわけじゃないよね？
この辺を勘違いしてる人がいるみたいなので。
0589デフォルトの名無しさん
NGNG単純なLispの上に複雑なLispを載せるという意味？
0590デフォルトの名無しさん
NGNGSICPの教科書の第４章みたいな＊インタプリタではない＊
ということ？
その辺ぼかして書かれると、知らんやつは誤解するぞ。
0591デフォルトの名無しさん
NGNGChez SchemeはCadence ResearchのScheme製品。
Sicstus Prologはスゥェーデンコンピュータサイエンス研究所のProlog製品。
どっちもその性能で超有名。シェアもトップ。
…これらを知らないのに偉そうなこと言ってるの？？？
0592デフォルトの名無しさん
NGNG>Cでわざわざ書いたらちょっと…
処理系をインプリする事が目的なら、高速化とか拡張は不要なのでは？
実際に使うために作るのか、処理系を作って勉強してみるのかでは
ずいぶん違うと思うよ。
0593デフォルトの名無しさん
NGNG研究目的なら手早く書けるほうがいいのでprologはprolog、schemeはschemeで書く。
c/c++やjavaでも性能に目をつぶれば書くのはそんなに難しくはないけどさ。
部分評価器、コンパイラコンパイラあたりで調べてみてください。
0594デフォルトの名無しさん
NGNG>>588
コンパイラもインタプリタも。
ちょっと想像してみろよ。
Cコンパイラと、デバッグ用のCインタプリタをセットにした製品を売るとする。
これらを両方ともCで書いてバイナリを売るのが、そんなに不思議か？
LispやPrologでも同じ事じゃないか。いったい何を不思議がっているのか…
0595デフォルトの名無しさん
NGNG別に俺は処理系マニアじゃないんで。
そんな事知らなくても良くない？
ダメ？
sicstus Prologは聞いたことあるけど
あれは作った人の名前なんだ。
日本の会社は日本産の有名なprologを買ってると思うんだけど
そんな事も知らない？
学生かな？
0596デフォルトの名無しさん
NGNG処理系作成者にとって、高速化や拡張性は重要だと思うけどなー。
0597デフォルトの名無しさん
NGNGソースとインタプリタを一つのファイルに
まとめるだけじゃなかったっけ？
違ったらスマン
0598デフォルトの名無しさん
NGNGいや、SICSはSweden Institute of Computer Science。研究所の名前。
最初はQuintus互換の高速フリー処理系として広まったが、その後Quintusを
しのぐ製品となった。QuintusはSICSに買収された。
0599デフォルトの名無しさん
NGNGんなバカな。
0600デフォルトの名無しさん
NGNGLispやSchemeのコンパイラで関数呼び出しのベンチマーク
（例えばAckerman）とかやると、Cより速いよ。
0601デフォルトの名無しさん
NGNG１
Cでインタプリタを作るには
メタインタプリタを作る以上に技術が必要。
２
メタインタプリタも実用的に使える。
0602デフォルトの名無しさん
NGNGで、それはCで書いてあるのかい？
0603デフォルトの名無しさん
NGNG君の顔と同じくらい歪んでるな。
0604デフォルトの名無しさん
NGNGデータを教えて
0605デフォルトの名無しさん
NGNGググレばすぐわかるよ
0606デフォルトの名無しさん
NGNGつーかそのベンチ試した処理系何？
0607デフォルトの名無しさん
NGNG1. Cの実用処理系はたいていCで書いてある。Lispの実用処理系はLispで、
Prologの実用処理系はPrologで書いてある。
2. お勉強のためにLispでCインタプリタを書いたり、CでLispインタプリタを
書いたりする人もいる。他人が感心してくれるかどうかは疑問。
0608デフォルトの名無しさん
NGNGSchemeメタインタプリタをCに変換すると
何ができるの？
0609デフォルトの名無しさん
NGNGhttp://www.bagley.org/~doug/shootout/bench/fibo/
0610デフォルトの名無しさん
NGNGSchemeインタプリタだろ？
0611デフォルトの名無しさん
NGNG1について詳しく書いてあるWEB知ってたら教えて。
0612デフォルトの名無しさん
NGNG0613デフォルトの名無しさん
NGNGそのベンチを試した処理系は何なの？
0614デフォルトの名無しさん
NGNG最近は線形論理型言語やってるのでは。
0615デフォルトの名無しさん
NGNGCMUCLとAllegro CLとgcc
マシンはSun Ultra-10
0616デフォルトの名無しさん
NGNGschemeは？
0617デフォルトの名無しさん
NGNGまさかオブジェクトコード生？そこの話がこんがらがってないですかな。
0618デフォルトの名無しさん
NGNGChez Scheme Version 6とgcc 2.95.2。
0619デフォルトの名無しさん
NGNG聞き飽きた話だが、Cでも同じだろ。
0620デフォルトの名無しさん
NGNGPrologは知らん。DEC-10のアセンブラかな？
マルセイユPrologの方が先か。Lispかもね。
0621デフォルトの名無しさん
NGNG会話になってねーよ。
さっきから頭痛い原因はおまえか。
0622デフォルトの名無しさん
NGNGいるんだよな。「クロス開発した」っていうと
「最初は？｣って聞く厨房（藁
0623デフォルトの名無しさん
NGNGまさかオブジェクトコード生？そこの話がこんがらがってないですかな。
0624デフォルトの名無しさん
NGNGなにか悔しいことでもあったんでしゅか？
0625デフォルトの名無しさん
NGNGわかった。ちゃんと答える。
「Cコンパイラと同様、クロス開発したものと思われ」
0626デフォルトの名無しさん
NGNGgccのソース
int main(int argc, char *argv[]) {
int n = ((argc == 2) ? atoi(argv[1]) : 1);
printf("Ack(3,%d): %d\n", n, Ack(3, n));
/* sleep long enough so we can measure memory usage */
sleep(1);
return(0);
}
0627デフォルトの名無しさん
NGNGでも、せいぜい数マイクロ秒でしょ。
0628デフォルトの名無しさん
NGNGgnu prologはC言語で書いてあるし、
prologで書かれたprologなんて無くない？
lispでかかれたlispってどれ？
実用的なものを除けば、ほとんどCで書かれてそうだけど。
0629デフォルトの名無しさん
NGNGそれ言ったらformatだって遅いんでは。
つーかあのベンチ自体あんまり信用できないんだけど。
0630デフォルトの名無しさん
NGNGlogって所を押すと・・・
0631デフォルトの名無しさん
NGNGLISPコンパイラはLISPで書かれてるけど。
0632デフォルトの名無しさん
NGNGホームページがあればお願いします
0633デフォルトの名無しさん
NGNGたくさん書かれている。
0634631
NGNGこれね。
http://www.cons.org/cmucl/
0635デフォルトの名無しさん
NGNG>>585
0636デフォルトの名無しさん
NGNGschemeの作り方だよーん。
メタインタプリタを作るのが簡単なのは、
perlで正規表現が簡単に使えるのと同じ。
正規表現のモジュールを使える事と、
正規表現のモジュールを作れる事は違います！！
0637デフォルトの名無しさん
NGNG0638デフォルトの名無しさん
NGNG0639デフォルトの名無しさん
NGNGftp://ftp.averillpark.net/cmucl/src/lisp/
C言語で作られてるみたいだけど・・・
0640デフォルトの名無しさん
NGNG解説よろしこ
0641デフォルトの名無しさん
NGNG多いな。
0642デフォルトの名無しさん
NGNG0644デフォルトの名無しさん
NGNG0645デフォルトの名無しさん
NGNGそのschemeは末尾再帰展開しない上にやたら遅い。
学習には不向き。
0646デフォルトの名無しさん
NGNG0647デフォルトの名無しさん
NGNG0648デフォルトの名無しさん
NGNGLarcenyはランタイムがCだと思ったけど。
0649デフォルトの名無しさん
NGNGUnixで走らせるなら。
0650デフォルトの名無しさん
NGNG非実用的だけどね
0651デフォルトの名無しさん
NGNG0652デフォルトの名無しさん
NGNG0653デフォルトの名無しさん
NGNG公開されてる分については。
0654デフォルトの名無しさん
NGNGあれは何から何まで全部scheme。
ブートストラップにscheme自身が必要だったかと。
■ このスレッドは過去ログ倉庫に格納されています