これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド gringo です。
プログラム:
NAME
gringo - 非地上ロジックプログラムのグラウンダー
SYNOPSIS
グリンゴ [オプション] ... [FILE] ...
DESCRIPTION
このマニュアルページでは、 グリンゴ
グリンゴ は、非地上解答セット プログラムの基礎です。 現在の解答セットのソルバーは機能します
変数のないプログラムについて。 したがって、次のような入力プログラムが与えられると、グラウンダーが必要になります。
XNUMX 次変数を使用して、等価なグラウンド (変数なし) プログラムを計算します。
OPTIONS
これらのプログラムは通常のGNUコマンドライン構文に従い、長いオプションはで始まります
XNUMXつのダッシュ( `-')。 オプションの概要は以下に含まれています。 完全な説明については、
ポタスコガイドを参照してください。
-NS、 - 助けて
オプションの概要を表示します。
-v、 - バージョン
プログラムのバージョンを表示します。
onworks.net サービスを使用してオンラインで Gringo を使用する