MINERVAは、Java Prologと呼ぶことができます。

MINERVAは Java のクラスとしてPrologの機能を提供しており、

Java オブジェクトをアクセスすることができます。

MINERVA 自身は Java によって実装されています。

Prologは、ISO/IEC 13211-1により標準化され、優れた論理プログラミング言語です。

その成熟度は広く認められ、業務用ツールとしてますます利用されています。

その表現性の豊かさは、ソフトウェアエンジニアリング的観点から広く認められています。

その成功例が顕著に見られる領域としては、工学分野での処理、及び、

商用コードからDNA列に至る他の人工言語の処理が挙げられます。

Javaは、インターネットまたは他のネットワークの上で実行されるプログラムのためのプラットホーム言語として設計されたオブジェクト指向言語です。

MINERVAは、Prolog・Java両方の世界を結び付け、

論理プログラミングの表現の豊かさとプログラムの高い生産性を、

今日最も利用しやすく普及している技術環境の中で、提供します。

MINERVA は Java と緊密に統合されているため、

複数のサーバ上でデータやプログラムを使用することができ、

また、Javaを使用することができるネットスケープやインターネット・エクスプローラなどの

インターネットブラウザー上で実行することができます。

これにより、MINERVAプログラムはオフィスと家庭のコンピューターの上のみならず、

一般消費材である個人のデジタル機器、ビデオゲーム機やインターネット接続が可能なテレビでも実行可能になると、イフコンピュータは考えています。

冒頭へ