| MINERVAは、Java Prologと呼ぶことができます。
MINERVAは Java のクラスとしてPrologの機能を提供しており、
Java オブジェクトをアクセスすることができます。
MINERVA 自身は Java によって実装されています。
Prologは、ISO/IEC 13211-1により標準化され、優れた論理プログラミング言語です。
その成熟度は広く認められ、業務用ツールとしてますます利用されています。
その表現性の豊かさは、ソフトウェアエンジニアリング的観点から広く認められています。
その成功例が顕著に見られる領域としては、工学分野での処理、及び、
商用コードからDNA列に至る他の人工言語の処理が挙げられます。
Javaは、インターネットまたは他のネットワークの上で実行されるプログラムのためのプラットホーム言語として設計されたオブジェクト指向言語です。
MINERVAは、Prolog・Java両方の世界を結び付け、
論理プログラミングの表現の豊かさとプログラムの高い生産性を、
今日最も利用しやすく普及している技術環境の中で、提供します。
MINERVA は Java と緊密に統合されているため、
複数のサーバ上でデータやプログラムを使用することができ、
また、Javaを使用することができるネットスケープやインターネット・エクスプローラなどの
インターネットブラウザー上で実行することができます。
これにより、MINERVAプログラムはオフィスと家庭のコンピューターの上のみならず、
一般消費材である個人のデジタル機器、ビデオゲーム機やインターネット接続が可能なテレビでも実行可能になると、イフコンピュータは考えています。
|