アカウント名:
パスワード:
# 再委託研究員だったのでAC。
論理型言語って, そこらのプログラマにとってはLISPやSmalltalkなんかと比べても異質すぎるんで, どうしてもユーザベースは広がらないように思えます.
実際の所, 論理型言語そのもの例ではなく, 論理型言語によって構築されたプログラム/システムの例でも有れば有用性をイメージしやすいのですが. 言い方は悪いのですが計算機数学のためのオモチャ以上の物ではないというのが現時点での私の評価です.
という事で「Prologはこれからの言語だ!」と言ってみるテスト
PARTHENON [ntt.co.jp] が内部で使ってるの, Prolog っす,と言っても PARTHENON がマイナーか...欝なので AC
存在してないわけじゃなく,そのギャップをものともしないぐらいに従来型プロセッサの高速化が烈しかったということだと.
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
Stay hungry, Stay foolish. -- Steven Paul Jobs
愛のコトには触れないで。 (スコア:0)
インゴット(謎)の話は出さないで下さい。
FGCS、何もかも懐かしい…。
# 再委託研究員だったのでAC。
Re:愛のコトには触れないで。 (スコア:1)
勿論Unixがここまで興隆すると分かっていれば(そしてインタプリタが大流行すると分かっていれば)Unix上のインタプリタとして実装した方がもう少し普及していたんじゃないかとも思えます。
(プロジェクトリーダーの淵さんが今は亡きビット誌上でトランスピュータの座談会に出たとき、「わざわざハードを作ることないんだけどね」みたいな言い方をしてたよーな?)
個人的には今のありあまるCPUパワーを考えると、それなりに使える言語になってもおかしくないと思うのですが>論理型言語。
アマ(アマチュアの意)い?
-----------------
#そんなワタシはOS/2ユーザー:-)
Re:愛のコトには触れないで。 (スコア:1)
論理型言語って, そこらのプログラマにとってはLISPやSmalltalkなんかと比べても異質すぎるんで, どうしてもユーザベースは広がらないように思えます.
実際の所, 論理型言語そのもの例ではなく, 論理型言語によって構築されたプログラム/システムの例でも有れば有用性をイメージしやすいのですが. 言い方は悪いのですが計算機数学のためのオモチャ以上の物ではないというのが現時点での私の評価です.
Re:愛のコトには触れないで。 (スコア:2, 興味深い)
でも、唯一のインストラクションポインタを、クロックを上げてブン回して高速に演算するというのではなく、速度はそこそこのCPUをいっぱい集めて高速化する超並列とか、分散コンピューティングには向いた言語だと思いますよ。
基本的には木構造を順に辿って失敗ならバックトラックして次の枝へ...という形で評価して行くような実装がされていますが、並行して動作するCPUがいっぱいあれば、多くの枝を並列に評価できるのでバックトラックが減らせます。
という事で「Prologはこれからの言語だ!」と言ってみるテスト
Re:愛のコトには触れないで。 (スコア:0)
同じ研究室で卒論をやっている人がPrologに泣かされています。
# カット? ループ?
プログラムをまともに書いたことのない人にいきなりそんなものやらせてもねぇ…。
そろそろ時期的にやばいよなぁ。
#ACったらAC。
メガネ屋さんの (スコア:1)
あとどこかの大学の学生課用システムにPSIが採用されたことがあったんじゃないかな。
Re:愛のコトには触れないで。 (スコア:0)
PARTHENON [ntt.co.jp] が内部で使ってるの, Prolog っす,と言っても PARTHENON がマイナーか...
欝なので AC
Re:愛のコトには触れないで。 (スコア:0)
Re: (スコア:1, 興味深い)
たしかに、商品として売り出された(少なくとも、色刷りのカタログが作られた) のは、Melcom PSI II だけですね。並列型の推論マシンはプロトタイプだけに終っ た。
インタプリタ云々でなくて、高級言語マシンがRISCの性能向上に追い付かなかっ た(いくら並列化してもね)ことが敗因だったのです。
その罠にはまった理由は、当時「ソフトウエア危機」を解決するには「セマンテ クスギャップ」を解消するしかない、という思想が流布されていたのです(すく なくとも、私はそう思っていた)。
今にしてみれば、実は「ソフトウエア危機」も「セマンテクスギャップ」も、存 在しなかったという、壮大なオチ。
Re: セマンティクスギャップ (スコア:0)
存在してないわけじゃなく,そのギャップをものともしないぐらいに従来型プロセッサの高速化が烈しかったということだと.
Re:愛のコトには触れないで。 (スコア:0)
渕さん
>>Unix上のインタプリタとして実装した方が
インタプリタではないけど
http://www.klic.org/