レファレンス

呼び出し

プログラムをコンパイルする場合、MINERVA Development Server...

述語

MINERVAは、ISO13211-1で定められた述語を提供しています。...

指令

指令で、アプリケーションプログラムを構造化...

算術計算

MINERVAの新しい算術関数は、内蔵関数と全く同じように使用することが...

関数

MINERVAは、内蔵述語やユーザ定義述語を関数型で評価をするための２つの...

オブジェクト

オブジェクト指向プログラミングは、述語の内部状態を隠しておいて、...

エラーメッセージ

MINERVAのエラーメッセージ例です。...

ファイル名

MINERVAは以下の標準的なファイル名の拡張子を使用しています。...

main

アプリケーションの場合、最初にロードされたパッケージのmain/1が、MINERVAプログラムの起動時に呼ばれます。...

パッケージ

MINERVAのパッケージ機構は、大規模なプログラムの構築の際に...

デバッガー

国際文字対応

MINERVAは、プログラム・データの両方で国際文字セットを使用することができます。...

GUIプログラミング

MINERVAのグラフィカルユーザインタフェースのプログラミングでは、...

MINERVAからJavaへのインタフェース

MINERVAは、Javaメソッドとオブジェクトを使う3つの方法を提供します。...

JavaからMINERVAへのインタフェース

MINERVAをあなたのJavaプログラムへ組み込む:...

制限事項