[Descartes-developer] 論理プログラミング言語:デカルトdecartes-0.4.0をリリース

Back to archive index

niwa.****@nifty***** niwa.****@nifty*****
2009年 2月 1日 (日) 11:18:39 JST


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

今回のリリースで、大きな変更点は、ワイルドカード述語の見直し、浮動小数
点数の精度をlong doubleに変更したこと、および、いくつかの述語の追加です。
変更点の詳細は添付のドキュメントを参照してください。

このリリースによる強化によって、人工知能向けのプログラムなどが便利に書け
るようになりました。
旧リリースをご利用ならば、ぜひ本リリースにアップグレードしてください。

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

 http://sourceforge.jp/projects/descartes/wiki/FrontPage
 http://sourceforge.jp/projects/descartes/docman/
今後はデータ解析や人工知能(AI)風のプログラム例を増やしていきます。


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

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


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


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




Descartes-developer メーリングリストの案内
Back to archive index