1つのJavaのプログラムが2つの協力するMINERVAを実行する。

この例では以下を示します。

• 新しいMINERVAのインスタンスの作り方
• JavaからMINERVAの呼び出し方
• MinervaTermの構築
• MinervaAtom
• MinervaVariable
• MinervaTermの計算

この例はスタンドアローンアプリケーションの例です。 詳細は、このディレクトリのファイルを参照して下さい。

冒頭へ