まず、このリンクをクリックして下さい。
“WappenLiteVer2 is running.” などと表示されたら、WappenLite がサーバー側で動いています。

このページの最上部の “Server URL: ” に

http://platy.eng.kagawa-u.ac.jp/WappenLite/

と入力して（“Context Id”は空欄のまま）、 “🔗Connect” をクリックしてください。

まず、WappenLite2.jar をダウンロードして、 起動してください。（Windows ではアイコンをダブルクリックすれば起動するはずです。）

そこで現れるウインドウの “Server URL: ” という欄の内容を、このページの最上部の “Server URL: ” にコピーして（“Context Id”は空欄のまま）、 “🔗Connect” をクリックしてください。

何らかの理由でページをリロードした場合は、（Server URL と Context IDには、 すでに何か値が入っているはずですので）そのまま“🔗Connect” をクリックして、 再接続してください。

再接続のときに使用します。 最初の接続のときは空欄です。

Prolog について

はじめに

まず、サーバー側の WappenLite に接続できるか確認します （アカウントとパスワードが必要です）。

アカウント／パスワードを持っていないか、サーバー側で WappenLite が動いていない場合は、 WappenLite2.jar をダウンロードし起動、接続します。

この上のテキストエリアに何かメッセージが表示されれば、接続完了です。 （再接続のときは何も表示されないかもしれません。）

Prolog による家系図検索

まず、Yes/No で答えられる質問をしてみましょう。

つぎに、変数が含まれている質問をしてみましょう。

この解は 1 つだけではないので、最後に他の解を表示するかどうか、 “?” と出力してきます。 別解を求めるときにはここで「;」を入力します。“no.” と出力されるまで、 「;」を入力してみましょう。ここで別解が必要ないときは何も入力せずに（つまり「;」を消して） 「送信」します。（改行だけが送信されます。）

おわりに

もっといろいろ試したいときは「Tokugawa.pl」というタブをクリックして、ソースコードを編集できます。 編集したら「💾Save」して下さい。 そして、[Console]タブのほうでクエリー（質問）を入力して、「✔Send」して下さい。