MINERVA1.3が発売されました。Javaで実装されたPrologコンパイラMINERVAの 新バージョン1.3では、正規表現と構文解析に使える述語セットが加わりました。 また、機能・例題プログラム・マニュアルが充実しました。Java1.1以上を前提と するために、Java1.0上では動作しません。評価ライセンスは、
http://www.ifcomputer.com/MINERVA
の下の「価格と注文」の項目からダウンロードすることができます。 (2ヶ月間無料試用可能)