Server URL:? Context ID:?

MiniKanren について

はじめに

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

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

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

MiniKanren によるリストの連接

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

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

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

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

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

おわりに

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