デカルト言語 - 並列ロジック プログラミング言語

論理プログラミング言語:デカルトdescartes-0.9.0をリリースします。

今回のリリースで、大きな変更点は、list、matrix、cursesモジュールの追加です。使い方についてはドキュメントを今後整備していきます。

変更点を以下に示します。

- listモジュールの追加
- matrixモジュールの追加
- cursesモジュールの追加
- Tiny Ruby の例題にエラーハンドリング機能を追加
- 会話処理で述語を追加する機能を追加
- 不要なtrace情報を削除して整理
- GCの起動頻度を上げた
- Windows版でのライブラリの読み込み速度を改善した。

以下のバグを修正しました。

- 値のない変数のエラーメッセージを改善した。
- is～述語のエラー判定条件を見直した
- regexのエラーメッセージを見直した。
- instr述語の名前が誤っていたので修正した。
- getc述語でEOFの読み込みで結果判定の誤りを修正
- delArray述語のエラー処理の誤りを修正
- マルチバイト文字の読み込みでSEGVエラーになることを防止
- regexのエラー処理を修正
- ファイル読み込みのバッファオーバーフローを防止
- 構文解析処理の未定義変数を初期化


使用方法については、添付のドキュメントや以下のサイトを参照してください。

　http://sourceforge.jp/projects/descartes/wiki/FrontPage
　http://sourceforge.jp/projects/descartes/docman/
今後はオブジェクト指向、データ解析および人工知能(AI)風のプログラム例を増やしていきます。


● ソースパッケージ
descartes-src-0.9.0.tgz　

Linux上でコンパイルしてください。
Windows上では、cygwinやmingwを使ってコンパイルすることができます。


● Windows用バイナリパッケージ　
descartes-win-0.9.0.zip

デカルト言語は、論理推論をベースとしたロジック言語です。
Prolog 言語のように論理的な関係を記述し、それを基に結果を推論することによってプログラムを実行します。
それに加えて、プログラミングの表現力を向上させるために、関数型および手続き的なプログラミングパラダイムを導入しました。また、BNF 記法に準拠した構文解析機能を文法の基本的な要素として導入しています。
決定的なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集約的な推論が必要な処理には論理型として記述します。
さらに、デカルト言語は、オブジェクト指向の機構を持ちます。このオブジェクト指向機構は、論理的な関係の構造を柔軟に表現し、また、共通に使用するモジュールをライブラリ化するのにも利用しています。