述語

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

算術比較

算術式評価

アトム項処理

文書処理と正規表現

文字列、パターン・マッチング、スキャナのテキスト処理のための正規表現。...

黒板

バイナリ入出力

バイナリー・データストリームを処理する一組の述語、例えばデータマイニング、交信プロトコルまたはコンパイラ書込みのために使用されます。...

文字入出力

制約処理

MINERVAは、制約処理のための先進の機能を持つと共に、あなた自身のユーザー定義制約処理を加えることができます。...

Compilation

節の生成と削除

節の検索と情報

グローバル変数

文法規則

リスト

論理と制御

全解

配布されたMinervaプロセス間の通信

Minervaは、配布されたMinervaプログラム間の通信をサポートするための高レベルのインタフェースを提供します。...

ストリームの選択と制御

サーブレット

MINERVAのサーブレットサポートは、Javaサーブレット標準に従っています。...

項の比較

項の生成と分解

項の入出力

項の単一化

項ベクター

Minervaは、項を保存して読み出すためにいわゆる項ベクトルをサポートしています。...

項ストリーム

項ストリームは、バイナリファイルからの読み出しあるいはバイナリファイルへの...

XML (eXtended Markup Language) 項へのサポート

Minervaは、XML項の処理（read/modify/write）をサポートします。...

非同期タイマー処理へのサポート

Minervqはタイマー処理をサポートします。...

型検査