From hniwa @ users.sourceforge.jp Sat Jan 10 20:17:08 2009 From: hniwa @ users.sourceforge.jp (hniwa @ users.sourceforge.jp) Date: Sat, 10 Jan 2009 20:17:08 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?GyRCJVclbSU4JSclLyVIGyhC?= =?iso-2022-jp?b?GyRCISYlRyUrJWslSCRyO08kYSReJDckPyEjGyhC?= Message-ID: <20090110201702.C11A.C606296C@users.sourceforge.jp> プロジェクト・デカルトを始めました。 文書を「文書一覧」に登録したので参照してみてください。 デカルト言語は、論理推論をベースとしたロジック言語です。Prolog 言語のよ うに論理的な関係を記述し、それを基に結果を推論することによってプログラム を実行します。それに加えて、プログラミングの表現力を向上させるために、関 数型および手続き的なプログラミングパラダイムを導入しました。また、BNF 記 法に準拠した構文解析機能を文法の基本的な要素として導入しています。決定的 なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集約的な 推論が必要な処理には論理型として記述します。さらに、デカルト言語は、オブ ジェクト指向の機構を持ちます。このオブジェクト指向機構は、論理的な関係の 構造を柔軟に表現し、また、共通に使用するモジュールをライブラリ化するのに も利用しています。 ソース登録については、2009.1.10から12くらいを目処に準備しています。 -- hniwa From hniwa @ users.sourceforge.jp Sat Jan 10 20:25:34 2009 From: hniwa @ users.sourceforge.jp (hniwa @ users.sourceforge.jp) Date: Sat, 10 Jan 2009 20:25:34 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?GyRCJUclKyVrJUgbKEJkZWNh?= =?iso-2022-jp?b?cnRlcy0wLjEuMBskQiRyJWolaiE8JTkbKEI=?= Message-ID: <20090110202531.C11D.C606296C@users.sourceforge.jp> 論理プログラミング言語:デカルトdecartes-0.1.0をリリースします。 「ダウンロード」に0.1.0リリースパッケージを登録しましたので、ぜひご覧になってみてください。 - Windows用バイナリパッケージ  descartes-win-0.1.0.zip - ソースパッケージ descartes-src-0.1.0.tgz ソースコードについては、SVNリポジトリに登録してあります。 デカルト言語の使用方法については、「文書一覧」に登録してある文書を参照してください。 -- hniwa From hniwa @ users.sourceforge.jp Thu Jan 15 23:46:42 2009 From: hniwa @ users.sourceforge.jp (hniwa @ users.sourceforge.jp) Date: Thu, 15 Jan 2009 23:46:42 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?d2lraRskQiROJVohPCU4GyhC?= =?iso-2022-jp?b?GyRCJEslRyUrJWslSDhAOGwkTiVXJW0lMCVpJWBOYyRyRVBPPyQ3GyhC?= =?iso-2022-jp?b?GyRCJF4kNyQ/ISMbKEI=?= Message-ID: <20090115234441.F2BC.C606296C@users.sourceforge.jp> デカルト言語プロジェクトのwikiのページにプログラムの例を登録しました。 「hello, world」の表示から始まり、さまざまな例題で簡単なデカルト言語の プログラムについて説明しています。 デカルト言語の持つ機能要素である1階述語論理、オブジェクト指向、EBNF 文法解析などの既存のプログラムパラダイムを活用し、デカルト言語特有であ る関数述語などについても簡単ではありますが解説してあります。 デカルト言語の雰囲気をぜひ味わってみてください。 From hniwa @ users.sourceforge.jp Sat Jan 17 13:08:57 2009 From: hniwa @ users.sourceforge.jp (hniwa @ users.sourceforge.jp) Date: Sat, 17 Jan 2009 13:08:57 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?GyRCT0BNfSVXJW0lMCVpGyhC?= =?iso-2022-jp?b?GyRCJV8lcyUwOEA4bBsoQjobJEIlRyUrJWslSBsoQmRlY2FydGVzLTAu?= =?iso-2022-jp?b?Mi4wIBskQiVqJWohPCU5GyhC?= Message-ID: <20090117130543.373B.C606296C@users.sourceforge.jp> 論理プログラミング言語:デカルトdecartes-0.2.0をリリースします。 今回のリリースで最も大きな変更点は、整数を32bitから64bitの精度に変更した ことです。これにより、今までは10桁しか使えなかった整数が19桁まで扱えるよ うになりました。 また、機能拡張として、構文解析機能の強化を行い、正規表現と同等の機能を持っ ています。 さらに、プログラムファイルの編集、パスの変更、カレントディレクトリの変更 等の会話機能も強化しました。 - ソースパッケージ descartes-src-0.2.0.tgz - Windows用バイナリパッケージ  descartes-win-0.2.0.zip デカルト言語は、論理推論をベースとしたロジック言語です。Prolog 言語のよ うに論理的な関係を記述し、それを基に結果を推論することによってプログラム を実行します。それに加えて、プログラミングの表現力を向上させるために、関 数型および手続き的なプログラミングパラダイムを導入しました。また、BNF 記 法に準拠した構文解析機能を文法の基本的な要素として導入しています。決定的 なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集約的な 推論が必要な処理には論理型として記述します。さらに、デカルト言語は、オブ ジェクト指向の機構を持ちます。このオブジェクト指向機構は、論理的な関係の 構造を柔軟に表現し、また、共通に使用するモジュールをライブラリ化するのに も利用しています。 From hniwa @ users.sourceforge.jp Sun Jan 25 11:13:22 2009 From: hniwa @ users.sourceforge.jp (hniwa @ users.sourceforge.jp) Date: Sun, 25 Jan 2009 11:13:22 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?GyRCT0BNfSVXJW0lMCVpGyhC?= =?iso-2022-jp?b?GyRCJV8lcyUwOEA4bBsoQjobJEIlRyUrJWslSBsoQmRlY2FydGVzLTAu?= =?iso-2022-jp?b?My4wIBskQiVqJWohPCU5GyhC?= Message-ID: <20090125110958.A1A0.C606296C@users.sourceforge.jp> 論理プログラミング言語:デカルトdecartes-0.3.0をリリースします。 今回のリリースで最も大きな変更点は、構文解析機能を強化したことです。 詳細は添付のドキュメントや次のサイトを参照してください。  http://sourceforge.jp/projects/descartes/wiki/FrontPage ● ソースパッケージ descartes-src-0.3.0.tgz  Linux上でコンパイルしてください。 Windows上では、cygwinやmingwを使ってコンパイルすることができます。 ● Windows用バイナリパッケージ  descartes-win-0.3.0.zip デカルト言語は、論理推論をベースとしたロジック言語です。Prolog 言語 のように論理的な関係を記述し、それを基に結果を推論することによって プログラムを実行します。 それに加えて、プログラミングの表現力を向上させるために、関数型および 手続き的なプログラミングパラダイムを導入しました。また、BNF 記法に 準拠した構文解析機能を文法の基本的な要素として導入しています。 決定的なルーチン処理は関数型や手続き型のプロシージャとして記述し、 知識集約的な推論が必要な処理には論理型として記述します。 さらに、デカルト言語は、オブジェクト指向の機構を持ちます。この オブジェクト指向機構は、論理的な関係の構造を柔軟に表現し、また、 共通に使用するモジュールをライブラリ化するのにも利用しています。