hniwa****@users*****
hniwa****@users*****
2009年 1月 17日 (土) 13:08:57 JST
論理プログラミング言語:デカルトdecartes-0.2.0をリリースします。 今回のリリースで最も大きな変更点は、整数を32bitから64bitの精度に変更した ことです。これにより、今までは10桁しか使えなかった整数が19桁まで扱えるよ うになりました。 また、機能拡張として、構文解析機能の強化を行い、正規表現と同等の機能を持っ ています。 さらに、プログラムファイルの編集、パスの変更、カレントディレクトリの変更 等の会話機能も強化しました。 - ソースパッケージ descartes-src-0.2.0.tgz - Windows用バイナリパッケージ descartes-win-0.2.0.zip デカルト言語は、論理推論をベースとしたロジック言語です。Prolog 言語のよ うに論理的な関係を記述し、それを基に結果を推論することによってプログラム を実行します。それに加えて、プログラミングの表現力を向上させるために、関 数型および手続き的なプログラミングパラダイムを導入しました。また、BNF 記 法に準拠した構文解析機能を文法の基本的な要素として導入しています。決定的 なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集約的な 推論が必要な処理には論理型として記述します。さらに、デカルト言語は、オブ ジェクト指向の機構を持ちます。このオブジェクト指向機構は、論理的な関係の 構造を柔軟に表現し、また、共通に使用するモジュールをライブラリ化するのに も利用しています。
デカルト言語 - 並列ロジック プログラミング言語