[論文レビュー] Prolog Server Pages

Alin Suciu, Kalman Pusztai+1 more|ArXiv.org|Mar 26, 2006

Robotics and Automated Systems参考文献 3被引用数 4

ひとこと要約

Prolog Server Pages (PSP) は、HTML ドキュメント内に Prolog コードを埋め込むことで動的 Web コンテンツの生成を可能にするサーバーサイドスクリプティング言語である。Apache Web サーバーとカスタムモジュールを介して統合され、HTTP リクエスト（GET/POST）を処理し、クッキーを管理し、埋め込まれた論理を標準的な HTML 出力にコンパイルしてクライアントに送信する。

ABSTRACT

Prolog Server Pages (PSP) is a scripting language, based on Prolog, than can be embedded in HTML documents. To run PSP applications one needs a web server, a web browser and a PSP interpreter. The code is executed, by the interpreter, on the server-side (web server) and the output (together with the html code in witch the PSP code is embedded) is sent to the client-side (browser). The current implementation supports Apache Web Server. We implemented an Apache web server module that handles PSP files, and sends the result (an html document) to the client. PSP supports both GET and POST http requests. It also provides methods for working with http cookies.

研究の動機と目的

• Prolog の宣言的論理プログラミングモデルを用いた動的 Web アプリケーション開発を可能にする。
• HTML に Prolog を埋め込むことで、Web テクノロジと論理プログラミングのギャップを埋める。
• HTTP GET および POST リクエストなどの標準 Web プロトコルを、Prolog を基盤とするサーバーサイド環境でサポートする。
• HTTP クッキーおよびサーバーサイドの状態管理を、Prolog ベースの Web フレームワークでネイティブにサポートする。
• PSP ファイルの実行を可能にする専用モジュールを通じて、Apache Web サーバーとシームレスに統合する。

提案手法

• サーバーサイドスクリプティング言語に類似した特別なデリミタを用いて、HTML ドキュメント内に Prolog コードを埋め込む。
• PSP ファイルを認識し、Prolog インタプリタを用いて処理する Apache Web サーバー用モジュールを開発する。
• サーバーサイドで埋め込まれた Prolog コードを実行し、クライアントに送信する前に動的 HTML 出力を生成する。
• リクエストデータを解析し、それを Prolog 谓約に渡すことで、GET および POST HTTP メソッドをサポートする。
• Prolog ランタイム環境を通じて、HTTP クッキーの読み取りおよび書き込みを可能にする組み込みメソッドを提供する。
• 標準的な HTML を出力し、Apache サーバースタックを活用することで、既存の Web インfraストラクチャとの互換性を確保する。

実験結果

リサーチクエスチョン

• RQ1 Prolog を用いたサーバーサイドスクリプティングによって、動的 Web コンテンツを効果的に生成できるか？
• RQ2 Prolog の論理プログラミングパラダイムを、標準的な Web アプリケーションワークフローにどのように統合できるか？
• RQ3 Web サーバー上で HTML ドキュメント内に Prolog コードをシームレスに実行するためのアーキテクチャパターンは何か？
• RQ4 クッキーを介した状態管理などの一般的な Web タスクを、Prolog がどの程度処理できるか？
• RQ5 標準 HTTP インタラクションをサポートする、生産環境向けの Prolog サーバーモジュールを構築するのは現実的か？

主な発見

• 実装は、Prolog を HTML 内のスクリプトとして埋め込むことで、動的 Web コンテンツを生成できることが明確に示された。
• Apache Web サーバー用モジュールにより、PSP ファイルの実行が透明に可能となり、それらが第一級の Web リソースとして扱われるようになった。
• GET および POST HTTP メソッドの両方をサポートすることで、Prolog を用いたフル機能の Web アプリケーション開発が可能になった。
• システムは HTTP クッキーをネイティブにサポートしており、状態なしの Web 環境でも状態付きの対話が可能になった。
• アーキテクチャは、Prolog の記号的推論と Web 標準を組み合わせたサーバーサイド論理実行に実用的であることが証明された。
• 標準的な Apache インfraストラクチャ上でデプロイ可能であり、実世界での使用に適した互換性と実用性を示した。