この例では、MINERVAをサーブレットとして、Tomcat/Jakarta/Apacheと共にどのように 使用するかについて示します。

サーブレットminserveは、HTMLのFORMからユーザの入力情報を取り、 HTML、XMLあるいはテキストファイルで、その情報を返します。

この例で、MINERVAサーブレット述語が、どのようにFORMのGETやPOSTメソッド により呼ばれるか、サーブレットのリクエストからどのように入力 パラメータを得て、Prolog項を組み立て、それを希望の形式に 変換して、サーブレットレスポンスにそしてHTTPクライアントに返すか を示します。　

すべてのステップがサーバーログに書き込まれます。

この例は、Apache Software foundationのサーブレットのウェブサーバー Jakarta Tomcat 3.2 and 4.0 http://jakarta.apache.org/tomcat/index.html およびSun Java JDK1.4を使って作られました。

この例では、以下のファイルを例示します。

minserve.html - HTML　FORM要素を含むHTMLファイル

minserve.min - MINERVAサーブレットプログラム

web.xml - Tomcat制御ファイルで、サーブレットにそのURLを示し、 　Tomcatに、どのMINERVAファイルがロードされるべきかを 　伝える。

MINERVAにより提供される述語のリストは、

servlet.mpk - サーブレット内蔵述語

これらの述語は、Java Servlet インタフェースに対応します。

例を走らせる

以下が、この例をインストールし実行させる方法です。 コマンドは、UNIX/Linux上でのものです。他のオペレーティングシステムの 場合変更が必要です。

1. MINERVAとTOMCATをインストールする。
   以下においては、 MINERVAが$MINERVA_HOMEに、 Tomcatが$CATALINA_HOMEにインストールされていることを前提とします。

2. サーブレットディレクトリを作る。
   

   mkdir $CATALINA_HOME/webapps/minserve
   mkdir $CATALINA_HOME/webapps/minserve/WEB-INF
   mkdir $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
   mkdir $CATALINA_HOME/webapps/minserve/WEB-INF/classes
   

3. サーブレットディレクトリにHTMLファイルをコピーする。

   cp minserve.html $CATALINA_HOME/webapps/minserve
   

4. MINERVAシステムファイルをサーブレットディレクトリにコピーする。

   cp -r $MINERVA_HOME/com $CATALINA_HOME/webapps/minserve/WEB-INF/classes
   cp -r $MINERVA_HOME/servlet/WEB-INF/classes/com $CATALINA_HOME/webapps/minserve/WEB-INF/classes
   cp  $MINERVA_HOME/minerva.mca $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
   cp  $MINERVA_HOME/servlet/WEB-INF/minerva/servlet.mpk $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
   

5. サーブレットプログラムをサーブレットディレクトリにコピーする。

   cp minserve.min $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
   

6. サーブレットプログラムをコンパイルする。

   minervac minserve.min
   

7. Tomcatサーバーを再始動させる。

   $CATALINA_HOME/bin/shutdown.sh
   $CATALINA_HOME/bin/startup.sh
   

8. サーブレットを呼び出す。
   Tomcatをデフォルト位置でインストールした場合、URLは、 http://localhost:8080/minserve/minserve.html です。