デカルト言語は、論理的な推論を中心とした言語として設計しました。
狙っているのは、強力な論理的推論・探索機能があり、関数プログラミング機能を持つオブジェクト群が、人間に近い構文のI/Fによって、並列にマルチコアで動く知的なシステムです。
名前は有名な数学者・哲学者であるデカルトに因んで名づけています。
並列論理プログラミング言語:デカルトdescartes-0.14.0をリリースします。
変更点を以下に示します。
- トレース情報の追加（未定義述語の表示）
- マルチコア機能のプリティプリント機能の追加
- INDENT, NEXTINDENT述語の追加
- 行列matrixモジュールの追加
以下のバグを修正しました。
- NILのprint表示
- CR述語のブランクの処理の異常
使用方法については、添付のドキュメントや以下のサイトを参照してください。
http://sourceforge.jp/projects/descartes/wiki/FrontPage
今後はマルチコア機能、オブジェクト指向、データ解析および人工知能(AI)風のプログラム例を増やしていきます。
● ソースパッケージ
descartes-src-0.14.0.tar.gz
Linux上では、以下のようにコンパイルします。
$ ./configure; make
Cygwin上では以下のようにコンパイルします。
$ make -f Makefile.cygwin
Mingwでは、以下のようにcygwin上でコンパイルします。
$ make -f Makefile.mingw
● Windows用バイナリパッケージ
descartes-win-0.14.0.zip
変更点を以下に示します。
- トレース情報の追加（未定義述語の表示）
- マルチコア機能のプリティプリント機能の追加
- INDENT, NEXTINDENT述語の追加
- 行列matrixモジュールの追加
以下のバグを修正しました。
- NILのprint表示
- CR述語のブランクの処理の異常
デカルト言語 - 並列ロジック プログラミング言語