これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションのいずれかを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド coala.bin です。
プログラム:
NAME
coala.bin - アクション言語から応答セット プログラムまでの汎用コンパイラ
SYNOPSIS
コアラビン [オプション]file
DESCRIPTION
このマニュアルページでは、 コアラビン
コアラビン は、アクション言語から応答セット プログラムまで、多目的に使用できるコンパイラです。 これ
さまざまなエンコーディング、変数、LTL スタイルのクエリをサポートしています。 アクションを翻訳します
言語を回答セットのセマンティクスの下で論理プログラムに変換します。 接地された後
lparse or グリンゴ、ロジック プログラムは、次のような解答セット ソルバーによって解くことができます。 留め金.
現時点では コアラビン アクション言語 AL、B、C、C+ のサブセットを翻訳できる
およびアクション言語 CTAID。 コマンドで入力言語の種類を指定可能
ラインオプション。
OPTIONS
これらのプログラムは通常のGNUコマンドライン構文に従い、長いオプションはで始まります
XNUMXつのダッシュ( `-')。 オプションの概要は以下に含まれています。 完全な説明については、
ポタスコガイドを参照してください。
-NS、 - 助けて
オプションの概要を表示します。
onworks.net サービスを使用して、coala.bin をオンラインで使用する