これは、宣言型ロジック プログラミング システムという名前の Linux アプリで、最新リリースは kanren-book-1.2.tar.gz としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。
OnWorks を使用した宣言型ロジック プログラミング システムという名前のこのアプリをオンラインで無料でダウンロードして実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
宣言型ロジックプログラミングシステム
説明:
最高級のリレーションを備えた宣言型論理プログラミング システム
Scheme の純粋な機能サブセットに埋め込まれています。 システムには真実があります
共用体、公平なスケジューリング、語彙スコープの論理変数、
集合論的セマンティクス、カットのない高性能
Audience
開発者、科学/研究
ユーザーインターフェース
ウェブベースの
プログラミング言語
スキーム
カテゴリー
これは https://sourceforge.net/projects/kanren/ からも取得できるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。