From hniwa @ users.sourceforge.jp Wed Apr 8 22:44:34 2009 From: hniwa @ users.sourceforge.jp (hniwa @ users.sourceforge.jp) Date: Wed, 08 Apr 2009 22:44:34 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?GyRCT0BNfSVXJW0lMCVpGyhC?= =?iso-2022-jp?b?GyRCJV8lcyUwOEA4bBsoQjobJEIlRyUrJWslSBsoQmRlc2NhcnRlcy0w?= =?iso-2022-jp?b?LjkuMBskQiRyJWolaiE8JTkbKEI=?= Message-ID: <20090408224319.CA4A.C606296C@users.sourceforge.jp> 論理プログラミング言語:デカルト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 記法に準拠した構文解析機能を文法の基本的な要素として導入しています。 決定的なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集約的な推論が必要な処理には論理型として記述します。 さらに、デカルト言語は、オブジェクト指向の機構を持ちます。このオブジェクト指向機構は、論理的な関係の構造を柔軟に表現し、また、共通に使用するモジュールをライブラリ化するのにも利用しています。 From hniwa @ users.sourceforge.jp Wed Apr 29 21:36:43 2009 From: hniwa @ users.sourceforge.jp (hniwa @ users.sourceforge.jp) Date: Wed, 29 Apr 2009 21:36:43 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?GyRCT0BNfSVXJW0lMCVpGyhC?= =?iso-2022-jp?b?GyRCJV8lcyUwOEA4bBsoQjobJEIlRyUrJWslSBsoQmRlc2NhcnRlcy0w?= =?iso-2022-jp?b?LjEwLjAbJEIkciVqJWohPCU5GyhC?= Message-ID: <20090429213442.A0C7.C606296C@users.sourceforge.jp> 論理プログラミング言語:デカルトdescartes-0.10.0をリリースします。 今回のリリースで、大きな変更点は、オブジェクト指向の機構の見直し です。また、いくつか便利な述語を追加しました。 変更点を以下に示します。 - selfオブジェクトを追加した。 - 会話型処理で、cntl-cを押した場合の処理を追加した。 - sysモジュールにsort, sortascend, sortdescend述語を追加した。 - sysモジュールにisRegistered, isUnregistered述語を追加した。 以下のバグを修正しました。 - 修正されていなかった組み込みモジュールの引数の評価を拡張した。 - 不要なtmpfileの削除 - matrixモジュールのmul述語の修正 - オブジェクト指向の機構の異常動作を修正した。 - printlist, printlistnlでNilが出力できなかったのを修正した。 - 文字列変換関数の復帰値を修正した。 - getline述語にリダイレクションで入力するときの異常動作を修正。 使用方法については、添付のドキュメントや以下のサイトを参照してください。  http://sourceforge.jp/projects/descartes/wiki/FrontPage 今後はオブジェクト指向、データ解析および人工知能(AI)風のプログラム例を 増やしていきます。 ● ソースパッケージ descartes-src-0.10.0.tar.gz  Linux上でコンパイルしてください。 Windows上では、cygwinやmingwを使ってコンパイルすることができます。 ● Windows用バイナリパッケージ  descartes-win-0.10.0.zip デカルト言語は、論理推論をベースとしたロジック言語です。 Prolog 言語のように論理的な関係を記述し、それを基に結果を推論することに よってプログラムを実行します。 それに加えて、プログラミングの表現力を向上させるために、関数型および手続 き的なプログラミングパラダイムを導入しました。また、BNF 記法に準拠した構 文解析機能を文法の基本的な要素として導入しています。 決定的なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集 約的な推論が必要な処理には論理型として記述します。 さらに、デカルト言語は、オブジェクト指向の機構を持ちます。このオブジェク ト指向機構は、論理的な関係の構造を柔軟に表現し、また、共通に使用するモジ ュールをライブラリ化するのにも利用しています。