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