まず、このリンクをクリックして下さい。
“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” をクリックして、 再接続してください。

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

MiniKanren について

はじめに

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

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

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

MiniKanren によるリストの連接

まず、2つのリストの連接を計算してみましょう。

リストの値を変えて試してみましょう。

次に連接を逆向きに計算してみましょう。

リストの値を変えて試してみましょう。

次のように、連接すると '(a b c) になるリストの組を求めることもできます。

おわりに

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