MINERVA

Prolog in Java

• 電子商取引、電子行政、知識管理、ヘルプデスク、 情報仲介、ケースベースリーズニング、資源割り当て、ウェブ上のサービス、 ウェブブローカー、知的エージェントのシステムを作るならば...
• 評価・シミュレーション・アドバイス・コンサルティングがビジネスの使命であるならば...
• インターネットブラウザー上でデータだけでなくサービスを提供したいと望むならば...

MINERVAは、Java上で実行可能なISO-13211-1 Prologコンパイラです。 大規模なイントラネットあるいはインターネット上の知的クライアント/サーバーアプリケーションのための商用プログラミングシステムです。

Javaでの開発との差

Javaと異なり、MINERVAは手続き型ではなく宣言型のプログラミングが可能です。応用分野で 使われる専門用語を直接プログラムに落とす形式でプログラミングを進めることができます。 メモリベースのデータベース、探索機能、パターンマッチング等、知的な対話型協調 アプリケーションに必要な機能が備えられています。

Javaで実装されたProlog

MINERVAは、Javaで実装しているPrologです。MINERVAは、Javaバーチャルマシン(JVM)上で直接、コンパイルされたコンパクトなバイナリを迅速に実行します。

ISO標準準拠

MINERVAは、すでに実績のある技術を使用しています。実行形態は堅固なソフトウェアエンジニアリ ングおよび国際標準で確立されてます。MINERVAを使用することにより、Javaという旬の手法を 賢く組み合わせることができます。MINERVAは、ISO/IEC 132110-1標準に準拠しています。

JavaアクセスおよびJavaクラスとしてのMINERVA

Javaのライブラリ、例えばネットワーク・GUI・マルチメディアライブラリ・ユーティリティをMINER VAのプログラムの中に採り入れることができます。このプログラム部分は"external"として宣言され 、MINERVAのコードとして使用されます。

一方、Javaの中からMINERVAを呼び出すことができます。JavaクラスとしてのMINERVAにより、定義さ れたMINERVAの述語を呼ぶことができます。

必要な環境

アプリケーション開発者	Unix(Linuxを含む）あるいはWindowsのプラットフォーム
	Java1.1以上の処理系
アプリケーションユーザ	Java対応インターネットブラウザ−(NN4.5又はIE5.0以上）

ユーザサポート

イフコンピュータは、日々刻々と発展するJava に合わせ、お客様が常に新しい環境にて間違いなく動作するMINERVAを使用することができるよう、 恒常的な保守・親切なユーザサポートを重視しています。 導入コストを抑え安く購入したがサポートが打ち切られたということがないよ う、MINERVAは年間料金で提供します。

ライセンス形態および料金例

• インターネットサイトライセンス (例：学校向けで、480,000円/年)
• イントラネットサイトライセンス
• スタンドアローンライセンス (例：一台のWindows98PCで88,350円/年)
• サーバーライセンス
• OEMライセンス

評価用ライセンス

評価の目的ですべての機能が使用可能な評価用ライセンスを提供しています。 2カ月間無料で使用可能です。今日すぐ使い始めて、機能を把握した上でリスクなしで 購入することができます。

個々のニーズに合った講習及びコンサルティング

MINERVAを使用したプログラミングのための実習中心の講習を提供していま す。基礎コース・上級コースがあり、お客様の専門分野をテーマとして取り上げたワークショップも 行ないます。(IF/tutorial)

また、お客様のニーズに合わせてソリューション・エキスパートシステムのコンサルティング・設計・開発も請け負っています。(IF/Projects)

Webサイトでの詳しい情報提供

MINERVAの特徴・マニュアル・例題プログラム・要件・価格・FAQなどの 詳しい情報はイフコンピュータのWebサイト http://www.ifcomputer.co.jp/MINERVA/ にあります。

イフコンピュータが支援

イフコンピュータは1982年以来、商用のインフラストラクチャソフトウェアを国際的に提供してきた 独立ソフトウェア開発企業です。知識ベースシステム・戦略システムを専門とし、製品は、運輸・化学・政府サービス・土木・保険・通信・流通・ファッションなど様々な産業分野で使用されてきました。

我々は今、インターネットを使ってすべての人がすべての存在する情報にアクセスすることができる環境にいます。競争力は、もはやデータの中に存在するのではありません。ある目的のためにデータを正しく判断・選択する方法にこそ競争力が存在します。

MINERVAは、あなたの戦略情報システムをグローバルインターネットの中で生かします。

概要

ショーケース

ライセンス形態

MINERVAはイフコンピュータが使用許諾する商用製品です。...

ダウンロード

MINERVA is available for immediate download....

例題プログラム

MINERVAの例題プログラムのページです。...

マニュアル

以下に、MINERVAのマニュアル（インストール、ユーザマニュアル、レファレンス、リリースノード、問題報告）があります。...

FAQ

外部リンク

この章の情報は、読者の便宜のために設けました。...