・ Prologサーバーとはなにか
・ Prologサーバーの共通仕様、機能
・ プログラミング技術
・ セキュリティについて
論じましょう。
構築は簡単ですが、問題は、
サーバー側にどんな資源(述語)が定義済みであるかがわからない。
それを探るというのは現実的でない。やはり、XMLのDOMファイル
みたいなものを第一段して、送り込んでおかないとうまくいかないの
ではないか。そこら辺のプロトコルをどう設定するかですね。
どこそこからロードしなさいとURLでも渡す。
それより、まず共通ライブラリを決めて、お互いにPrologサーバーモジュールの
中に定義することとの方が先でしょう。
そういうのはPrologサーバーって云わないの?
ブラウザもPrologで書いたらおもしろそう。
けど利点はあるの？
例外なくどの処理系もそうなっていて、?- 以下の質問に答える、
作りになっています。
既存のプログラムもその形式に沿うように短く作られていますから、
入力と出力をソケットにするだけで、PtoPでお互いに乗り入れられます。
あえて、Prologサーバーといい、自宅サーバーのカテゴリーの
中で話題にしようとするのはそんな性質があるからです。
もう一つ追加すると、オンメモリーのリレーショナルデータベースで
あるという点も、お互いが情報を開示しあうためには最もふさわしい
系であるという根拠になるように思われます。
Prologなんてもう記憶のかなただが...
> オンメモリーのリレーショナルデータベース
これだけで十分ギャグだよ。運用できないじゃん。
Prolog使うと楽に解ける問題はあるだろうけど、それなら
web serverをI/Fにすればよい訳で。
どうしてもやりたいなら、Prologサーバでしかできない応用例を
一つでいいから出してみな。
＃クラスタリングして並列Prologエンジンなんつー化け物なら
作る意味もありそうだが、それは自宅サーバ板で話す話題じゃ
ないだろ。
鋭いですね。実際、UNIX(LINUX)のサーバでfork()で処理すると
セッション終了とともにデータベースの書き換えが無効になってしまう。
このため、バックエンドにもう一つデータベース用のPrologを立ち上げる
ことになります。 >8 で書いたように単純にはいきませんね。
ネットワーク上でのデータの一貫性などできようはずがありません。
ただ、リレーショナルデータベースとRDBMSとは概念がずれます。
集合論に基づくデータモデルがリレーショナルデータベース、
Prologはそれを含んでいます。二項モデルや連想三つ組など
自分独自のデータモデルや環境を簡単に実現できることに
少々は意義がありましょう。
セキュリティ、信頼性とかを一切無視して、ネットワーク上で
お互いの資源にもぐりこんで使いあいましょう、という話には
Prologはぴったりですよということです。
アナーキーなネットワークのモデルを担えるかも、ということです。
象牙の塔の中で言ってる分には別に構わないけど、それで何か
意味があるのかい？
一時期流行ったmobile agentも結局実用にならなかったじゃないか。
Prologインタプリタをcgiで動かす以上の意味があるとは到底思えない。
参加する人がいるか、いないかでしょ。
Prologに拘るのは構造のないフラットなモデルでやりたい、という
ことです。
Prologは記号処理言語なので、事務処理向きですね。
Adobe PhotoShopのようなソフトがPrologで書き直されることは
絶対無い。そういう意味で汎用言語とはいえないでしょう。
Prologサーバと観点からすると、スクリプト言語として、で十分
だと思います。複雑なことはいつでも書こうと思えば書ける。
ということは、"Prolog Server"は不要って事だね。
単にサーバーにProlog Interpreterが載っていればOKなんだろ？
"Prolog Server"の定義がそういうものだとしたら、御免なさい、ですね。
そういう部分から議論したいと思ってこのスレを立ち上げたのですが、
私はPrologの項の形式で質問して、答えとしてPrologの項を返すことが
できれば、"Prolog Server"と考えていいと思っています。
ApacheのCGI経由でも一向に構いません。軽い重いはありますが。
項(=論理式)の形式で返せないとなるとPrologのありがたみが
でません。条件はそこです。
実は、C++やPerlで書かれていても、項の解釈ができて、
その形式で答えることができるなら、実装がどうであれ、
立派にPrologです。
だからね、世の中や学術用語では、そういうのはPrologサーバとは
言わないの。
名称問題はこれでいいとして、Prologって何に向いてるの？専門用語
を使わずに説明してごらん。
ので、事務処理には一番だと思っています。
構造がないとか云ったのとは矛盾するかもしれませんが、
木構造で管理できる部、課、係等の情報を扱うには向いています。
本来集約演算が苦手ですが、真っ先にそういう述語から書きますから、
特に不自由することはありません。
中小企業で管理者が直接プログラミングして、可能な限り仕様書を
書かない(せない)時、圧倒的なコストパフォーマンスを発揮します。
既知のやりたいことをただ「述べれ」ばよいだけですから。
大企業向きの言語ではないですね。
*********************************************************
SMTP,POP3,TELNET,HTTPに対応したサーバをPrologで書いて複数
ノードで分散して運用していますが、世界中にそういう環境を
期待するのは現実的でないですね。
現在、ほとんどの処理系にDEMOとしてTCP/IP経由のものが
ついているので、Prologユーザはやってはみたことがあります。
しかし、外部に公開するとなると、モジュールに関する仕様、
データのロードに関する技術等、整備しておかなくてはならない
部分が多々あります。
クライアント独自のデータベースで実行されるのか、共用環境で
実行されるのか、定義域の宣言や切り替えが必要でしょう。
外部ノードの参照に関する述語自体標準はありません。
?- .... ,node101 :: testpredicate(A,B), ...
のような形式が候補に挙がるでしょうが、既にモジュール管理に
使用している処理系もありそうです。
一般にPrologクライアントから要求Pを出すときには全解探索を考慮して、
findall(P,P,L),
のように包んで要求します。上の記法を使えば node1 :: findall(P,P,L),
サーバから解のリストLが返されますから
member(X,L), でXに一つづつ解を取り出すことになります。
これが普通のやり方ですが、これを標準としてよいか。
こんなことを議論したり、確認したいということです。
自分の環境を自由に利用させることは、エロサイトを立ち上げることより
遥かに危険なことです。そんなことを相手にしてもらえるカテゴリーを
探したら、自宅サーバ以外になさそうだったのでこの板をここに
作ってみました。
>サーバから解のリストLが返されますから
失礼、サーバから返されるのも、findall(P,P,L)です。ただし、
変数LがリストLとして具体化されています。
なんだか言ってる事が思いっきり眉唾物なんだが、
本当にそんなことやってるなら、論文書けよ。研究会発表
でも構わんからさ。
それにしても偏ってるというか、怪しいというか。Telnetサーバーって
なんのことかね。
でも、P2Pの感覚でPrologをお互い乗り入れるというのはおもしろい。
マジでレスすると、
こういうことをやるには、Modula-2のMonitorのような機構が必要で
けっこう難しいと思っていたが。
プログラム板の「Prologでまったり」スレの中にでてくる
Prolog共用データベースのことだと考えてよいのでしょうか。
起動し、利用するとします。この環境を外部から割り込んできて
利用できるかというと、否です。利用者の主体はどうしても
このような環境にあり、共用データベースは時に登録すると
いうことになりがちですから、不本意です。しかし、これらのマルチユーザー、
マルチタスクの一つ一つが交信の対象になるためには、個々のProlog本体に
外部からの割り込みを受け入れる機構が必要になります。あるいは
Subgoalの実行ごとにSocketの着信を検査するというような仕組みが
必要かも知れません。
>>21の最後の部分はこのことだと思います。(私はModula-2を知りませんが)
このような複雑なPrologの拡張なしに、サーバーを立ち上げてみようと
いうのがここでの私のやり方です。
項(構造体)の解析系が強力なPrologを使いましょう
という話なのですが。
サーバーの振る舞いは
ソケットに得た情報を
1 ストリームから読み込みアトム(文字列)とする
2 そのアトムをparseしてPrologの項とする
3 この項をcallする(Lispのeval)
4 (論理変数が具体化された)項を文字列化する
5 ストリーム-ソケットを介してこの文字列を返送
となります。
受け取り項(構造体)のタイプは無限で、これに対処できて
いるのはparseのおかげということになります。
これを質問に対してサーバーが質問し返す仕様に変更してみましょ
%クライアント側 w3prolog/2は既に定義済みとします
対話質問(Network,Port,_質問) :-
w3prolog(Network,Port,対話(_質問,_応答)),
call(_応答).
myhostname(client1).
%サーバー側 shs/2はshellの標準出力からリストを構成する述語
対話(_質問,_応答) :-
対話応答項(_質問,_応答),
call(_質問).
対話応答項(pwd(_),(myhostname(client1),system(cal))).
pwd(X) :- shs(pwd,X).
%運用例 クライアントがclient1であることを確かめてから、
calはクライアント側資源として実行されます
?- 対話質問(server1,54211,pwd(X)).
3月 2006
日 月 火 水 木 金 土
1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31
X = ['/usr/prolog'].
yes.
?- クライアント側にも応答質問項/2を定義すれば
会話を継続する仕様へ変更することも簡単です。
解説つきでお願いします。
1・・自分のProlog実行環境の他にProlog共用データベースを立てる
2・・この共用データベースに対してPrologクライアントは自由に
質問し、解を得ることができる。
3・・この質問-回答におけるメッセージ交換をPrologの項で行う。
このようなネットワークを築くための基礎について議論するところです。
>>29は質問-回答系がすでに築けているとして、
質問に対して、回答を返すほかに、サーバー側から、更に質問をュし
この質問のクライアント側での実行を約束事とすることにより、
クライアントの環境に応じて、回答の条件付けをする可能性を図るものです。
たとえば、
「あなたの環境がこれこれの場合は私の回答は有効だが、そうでない場合は
偽と見なしなさい。」というようなアサーションなどが考えられます。
内容の解説は順次述べます。
いますが、なぜ普通に:ではだめなのですか。
現在のPrologの規格(たとえばISO規格)では、
A:BだとAモジュールのB述語の意味となり、ここでの
サーバーの意味とは異なります。
Aをクラスと考えても、モジュールと理解しても、ノードと
解釈しても、意味的には近いと思いますが、処理系に
モジュールと先に解釈されてしまうと仮にモジュール定義
がされていなくても、エラーになってしまうのが普通です。
それで、モジュールと衝突しないようにオペレータを::に
してあります。
送り込んだり(受け入れたり)、
それを自由に移動させたりできる
ように思いますが、
ライブラリやサンプルプログラムは
ありますか。
エージェントについては詳しくありません。
一つ言えることは、イントラネットのように
管理者が端末の起動状態を完全に把握している場合は
よいのですが、このネットワークのように
何時、各ノードが電源offになるか解らない環境では
駐在型のエージェントというのは難しいのでは
ないかということです。長期間にわたり
他のノードでサンプリングを続けるためには、
そのマシン内でバッチタスクとして動作しなくては
なりません。セキュリティの問題もあり、
このようなことが安定して行えるかどうか疑問です。
?- (reconsult(Local::File),program(Goal)).
と言う質問をすることによって、
クライアントのファイルをサーバー側にreconsultして、
指定のGoalを実行するということはできます。
このスレを立てた理由のひとつとして、
このとき、reconsultされる述語が既にサーバーに
定義されている場合の処置について規定を定めたい、
ということがあります。
つまり、現在はこの点が決まっていません。
エージェントの動作としてはこのGoalから始まる
サンプリングの中で、local(クライアント)側のサーバーに
対して蒐集したデータをassertすることで、エージェントを
送り込んだクライアントとは非同期に動作することが
できます。
述語program/1 は一般にProlog処理系は起動後の
最初の案の実行を :- program. と規定しています。
この規定を模して作った述語です。
それで、本当はprogramにしたかったのですが、
本来の述語と衝突してしまうため、利用者が自由に
この起動述語を定義できるように,program/1を
設けました。program/1はクライアントと通信して
いるスレッドに対し、子スレッドとして動作する
ようになっていて、質問Goalはこの子スレッドの
実行とは切り離されて、子スレッド起動後すぐに
終了してしまいます。Goalのなかに束縛されていない
論理変数があっても、解決されないまま、
クライアントに解として返されます。
質問 ?- program(Goal). は親スレッドで実行され、
直ぐに終了します。
program(Goal) :- 並列実行(( true; Goal )).
のようなイメージでtrueだけ実行するのが親、
子でGoalが実行されます。
このシステムでは現在どんなことが課題と
なっていますか。
さらに間違っていた。
親は子の終了を待つから、終了するのはソケット通信だけか。
エージェントが生息している間は、
親はひたすら、子の終了を待って、存在している。
ということですね。
サーバから見るとここでいう親が既に子スレッドで、
直ぐにソケットに質問のまま返信してソケットを
shutdownしてしまっています。
Goalはサーバから見て子スレッドとして、
普通に負節として、実行されている。
ということでした。
program/1の特徴はソケットへ未解決の質問を
そのまま応答して、ソケット通信を終了して
いる点にあるようです。
・ 述語定義の管理の問題。
・ リアルタイムに参照できるグローバルなlistingシステム(述語辞書)。
基底クラスというかコモンセンスといった方が良いか、
そんなものがあるかというと、これがほとんどない。
暗い霧のなかで未知の人に遭遇したとき、どうすうれば
よいかというようなレベルです。探りをいれていく。
すこしづつ質問していって、相手の世界の輪郭から掴んでいく。
これをPrologシステムにも適用したいのだが、きっかけからして
わからない。
「あなたは何に興味があるの」
こういう質問への答えを的確に準備したシステムに出会ったことが
ない。
コンピュータサイエンスのどんなカテゴリーに入るのですか。
プログラムパターンともちょっと違うし、
わかりません。
ダウンロードして解析ということになると
思いますが、ファイル転送はftpですか。
単なる負節起動の他に、Upload and Go も
基本動作としているので、ftpdを基本要件と
するのが最もコストがかからず、安定する
ようです。
私は自分のサイトとの通信では自前の
転送述語で済ませていますが。
それから、サーバー側でファイルに書かずに
質問として扱う、
?- node_1 :: 述語表示(hoge).
や
?- node_1 :: 述語表示(hoge,X).
も勿論あります。
情報(この場合述語定義)の類似性や変更の推移に関する記述というと、
フレームでカバーできますね。多層フレームなんて、面白そうです。
あるメソッドがあるオブジェクトに属しているというのは考えてみれば
面白くありませんから。
1) 複数サーバにたいするOR並列
2) Prologを拡張してのAND並列
2)はやっていません。KLIC上にこれと同じネットワークを
構築しようとしてみましたが、現在の所失敗しています。
1)はそういう述語はあります。ただ、遅くてあまり使い物には
なっていません。
各ノードで1秒かかる質問を用意して、4ノードに質問して、
全ての解を蒐集すると5秒くらい掛かってしまいますw
各サーバがログを取っていて、その書き込み量が膨大に
なるせいですが、解を蒐集するのに自分のノードのサーバに
assertしてもらう方式をとっているので、書き込まれているかな、
とポーリング方式で問い合わせが必要でこれにコストがかかって
しまっています。
1分くらいかかる作業を要求すれば1分15秒くらいで終了しますから、
これはりっぱなものですが、現実にはこういう計算って発生しませんね。
最初に解を返したノードのものを解とするケースでは結構有用です。
1分15秒というのは10ノードの並列時のことでした。
4ノードだと、1分4秒くらいですね。
このネットワークで非同期通信は可能ですか。
>>36 以下で述べているエージェントとサンプルの
送信がそれに当たります。エージェントの場合は
サーバ側で永続しますが、質問が解決したら終了する
モードだと非同期処理と見なせます。
Ajaxがメジャーな技術になるなら、これ経由で
質問できるようにすれば面白そうですね。
w3mは開発が終っているし、Javascriptも
組み込めないからだめですが、
オープンソースのこの手のブラウザ経由という
可能性はあります。
事務処理のデータエントリーのプログラムで、
サーバーが側から、エントリー側に画面をpushし、
入力を促して、非同期にこれを受け取るという
システムの構築に困難を感じた事があります。
現在は、
1) アプリケーションタスクはエントリー側のサーバーに
mozillaのremote処理を要請
2) エントリー側でブラウザに入力画面の表示
3) アブケーションタスクは自ノードサーバへの入力待ち合わせ
4) formにより、データ処理サーバ側にデータ送付
4) アプリケーションは自ノードサーバからデータ受け取り
で簡単に実現しています。
優位性は何でしょう。
Prologであること。としか言い様がないです。
・ 頑強なインタプリタ。
・ 簡素な構文。
・ 強力な構文解析力。
・ 強力なデータベース。
・ 強力な論理的記述力。
・ 構造変換など強力なメタプログラミング。
どれをとっても(MLの系統を除くと)比類ないものです。
MLとPrologの一騎打ちになるとお考えですか。
ますよね。あれが、
?- prolog_aitec_lib :: hoge(_).
みたいな感じで簡単に利用できたらいいですね。
私は、ほとんどダウンロードしてあるのですが、
アーカイブしとかなかったから、何がなんだかわからない。
ひとつふたつ余りREADMEを読まずに動いたものがあった。
ただし,4-5年前の記憶。
単行本を含む文献上のPrologソースコード量は
膨大なのですが、実際に質問として使用できる
状態のものはほとんどありません。
著作権上の問題がありますが、これを可能な限り
生き返らせることに余生を捧げましょうw
本当に高水準言語一辺倒の時代なんて
くるんですかねー
ストリームを切り替えてPrologの引数に単一化したいのですが
なにか方法はありませんか。
C言語インターフェイスを使って、
system/2を作る。他ない?
シェルコマンドの出力をあるファイルに
リダイレクトして、制御が返ってきたら、
plc側でopen()する。この場合、ファイル名
が固定されるから、2システム以上の並列だと
具合が悪い。
C言語インターフェイスでtmpnam/1作って
おいた方がよい。
OSに依存する余地から、避けたいというのは
わかるけれど。
できます。できますが、そのノード(サーバー)の設計によります。
セキュリティを重視して拒否することはできます。
一般には
?- node1 :: shs(free,X).
X = [' total used free shared buffers cach
,'Mem: 512588 492600 19988 0 26800 230236',
+ buffers/cache: 235564 277024','Swap: 1044216 92760 95
6'].
のように使います。
?- node1 :: !pwd.
/usr/local/prolog
yes
?-
この場合はnode1でバッファーに書き出された/usr/local/prolog
がクライアント側画面にで表示されています。
応答のソケットはHeaderの後、
2行改行の後、変数解決済みの質問がきます。
?- findall(append([a,b],[c,d],X),
append([a,b],[c,d],X),
[append([a,b],[c,d],[a,b,c,d])]).
この後にサーバ側の>>71に書いたバッファーの内容が続きます。
それだけです。
?- findall(!pwd,!pwd,[!pwd]).
/usr1/local/prolog
がソケットの中身です。
ここでは>>29のサーバ側からのpush(対話応答)は
行っていません。
最初に2行連続して改行された後の文を
質問と見なしてparseします。
2行改行されるまではHeaderであり、
何が書かれていてもよいというルールです。
一切なしですか・・・。
当然取得しておく。
何を以てプロトコルを認識するかは決めていない。
ICOTの開発したプログラムは
http://www.icot.or.jp/ARCHIVE/Museum/IFS/abst/XXX-J.html
から現在でも入手できます。(XXは001-100)
libraryをあまり作りたがらない、実際その時に
書けばよいから、作る必要がない。
と書いたら、「正規表現は作れますか」ときた。
Prologで正規表現なんて使わないよ。なんで
そんなの覚えなくちゃならないの？って答える
べきところをオタフタして答え損なったw。
正規表現は一種の言語だから論外としても、
辞書引き問題はこういうネットワークでは
結構深刻ですね。辞書、ここでは他ノードに
たいするlistingですが、これを引くコストは
ばかにならない。自分で書いた方がとどうしても
思ってしまう。
コード自体が要約だw
つまりperlとかの方が開発効率が良いと言うことですね。
一般論としてですが、ライブラリが揃っていて、
その使い方を熟知している場合、開発効率は
高くなりますね。
ここでの文脈で言うと、知識(たとえば正規表現の
記法)を得るためのコストとプログラム作成時の
速度差の累計で評価しなくてはならないでしょう。
Javaのように言語を熟知していても、クラス名や
メソッド名が妙に長くて、効率が上がらないケースも
ありますが。Eclipseとかを駆使しない場合ですが。
Prologのような言語はライブラリ知識獲得のコストは
ゼロだということになります。常にその場でリスト処理で
済ませますから。
member,repeat,forの他には、
副文字列を切り出す part_atom
文字列(atom)をリストに変換する
atom_chars,atom_codes
それから複数のatomを結合する concat_atom
くらいのものです。
これだけで、他のインタプリタと同等の
速度で対話実行ができるわけですから、
少なくとも初心者向きなのはこちら
ということになります。
true,fail,not,open,close,read,get_char,get_code,
consult,reconsult,assert,retract,abolish
が抜けてますよw
まあ、これで全部か。
まだあるぞ。write,put_code,put_char
fuctor,argも使うね。
30個くらいにはすぐなっちゃう。
結構、知識がいるね。
上記の他に、
integer,float,number,atom,atomic,var,compound,の型判定述語
is,=も述語だ。
predicate_typeなんかも使うことがある。
それから述語ではないが関数も覚えなくちゃ。
まあ、こんなものだが、7-8割が
member,fail,true,atom_part,concat_atomで済むか。
ファイルから情報を読み取るか、Prologプログラムとして、
あらかじめconsultしておくか、流儀はいろいろあるが、
基本的な組み込み述語の使用頻度はどんなプログラマでも
大差ないのがPrologの特徴かな。
達人を集めて競わせるとどの言語も生産性に差はでない。
でも、PerlとPrologくらい目指す方向が異なると、
初心者、初級者、中級者、上級者とそれぞれの段階で
生産性に差が出てくるような気がする。実証というのは
難しいだろうが、面白いテーマなのでちょっと研究してみる。
3時間で全ての機能を覚えられるからね。
無理ですね。
私はプログラミングに基本なんてないと思うが、この人達の
いう基本以外、Prologのプログラミングでは使わない。
一方、Perlの方は、ぜんぶ応用という感じで、基本部分の抽出
なんてばかばかしくなる。そういう意味で大変魅力ある言語
だと思う。
>この人達のいう基本以外、Prologのプログラミング使わない。
なんか、日本語がヘンなようで。
この人達のいう基本しか、Prologのプログラミングでは使わない。
じゃないか。
生産性が高い？という議論にマジで応対している
のだから、驚くべき事だ。20年前にはPrologの
生産性は群を抜いていた。Lispの倍くらいの
速度で仕上がっている感覚だった。
私はRubyくらいしか使わないが、これもしかすると
Prologといい勝負いけるんじゃないかと思うことが
ある。
ここ二十年のプログラム言語のの記法レベルの洗練は
相当なものだ。
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
通報の仕方 (133)
【25】Radish(Mail Server For Windows)【110】 (108)
鯖のバックアップについて語るスレ (275)
自宅鯖に最適なPCがついにきた (133)
女性の自宅サーバーってあるのかな？ (146)
自宅サーバ野郎、てめぇのOS教えろよ (245)
--log9.info------------------
名前が思い出せないゲームを誰かが教えてくれるスレ 21 (380)
良い悪いサークル・コンベンション 関東版vol.20 (748)
ゲーム史上最低の作品 (303)
メガテンシリーズ強さ議論スレ Part2 (724)
坂井輝久「XBOX360カムサムハムニダ！」 (146)
【BW】バトルサブウェイ非改造専用攻略スレ (371)
スト４大会が遅延のない360版使用でPS3滅豪昇龍ｗｗ (273)
FF13 vs NewスーパーマリオブラザーズWii 避難所 (648)
マリオなのにつまらなかったゲーム (165)
ファミ通Wave Vol.15 (292)
「これやったの俺だけだろうな」っていうゲーム (236)
【ジュヴナイル】今井秋芳総合スレ１作品目【魔人･九龍･魔都】 (117)
Angel Beats!ゲーム化応援スレ！！ (132)
ニンテンドー3DS周辺機器 その5 (158)
ミリオンソフトを見守るスレ その31 (478)
坂井輝久になりきるスレ (134)
--log55.com------------------
★2ch.scは何故失敗したのか
★クロール批判要望スレ
★削ジェンヌに文句ある人集合
★迷惑行為報告担当 - 小さな親切募集中 2
★2ch.scへの要望スレ Part3
★かっこう観測所
★スレ立て人キャップ
★2ch.scニュース系板観測所
