The descartes language is designed as a computer language that centered on the logical reasoning.
It is logical inferences and search functions that I aims. Moreover, the object group with the functional programming function is the intellectual system that works in parallel at the multi core. In addition, this language operates by I/F of the syntax that closes to human beings.
The descartes language is named commemorating the Descartes. René Descartes is a famous philosopher and a mathematician.
並列論理プログラミング言語:デカルトdescartes-0.12.0をリリースします。
今回のリリースで、大きな変更点は、マルチコア対応機能のバグ修正と
Windowsをサポートしたことです。
cygwinでコンパイルするとWindows上でもマルチコア対応機能が有効となります。
mingwでコンパイルすると、Windows上ではマルチコア対応機能をシングルコア上でシミュレーションして実行します。
変更点を以下に示します。
- cygwin版のマルチコア対応
- mingw版のマルチコア対応
- firstfor, firstforeach述語の追加
- マルチコア機能での過剰プロセス生成の抑止
以下のバグを修正しました。
- ガーベージコレクション中のSIGSEGV
- マルチコア対応のプロセス間通信エラー
- マルチコア対応での、浮動小数点数の通信エラー
使用方法については、添付のドキュメントや以下のサイトを参照してください。
http://sourceforge.jp/projects/descartes/wiki/FrontPage
ドキュメントの整備が少し遅れていますが、マルチコア機能の使い方など新機能については順次ドキュメントを追加していきます。
今後はマルチコア機能、オブジェクト指向、データ解析および人工知能(AI)風のプログラム例を増やしていきます。
● ソースパッケージ
descartes-src-0.12.0.tar.gz
Linux上では、以下のようにコンパイルします。
$ ./configure; make
Cygwin上では以下のようにコンパイルします。
$ make -f Makefile.cygwin
Mingwでは、以下のようにcygwin上でコンパイルします。
$ make -f Makefile.mingw
● Windows用バイナリパッケージ
descartes-win-0.12.0.zip
このバイナリパッケージでは、マルチコア対応機能はシミュレーションとなります。
- cygwin版のマルチコア対応
- mingw版のマルチコア対応
- firstfor, firstforeach述語の追加
- マルチコア機能での過剰プロセス生成の抑止
以下のバグを修正しました。
- ガーベージコレクション中のSIGSEGV
- マルチコア対応のプロセス間通信エラー
- マルチコア対応での、浮動小数点数の通信エラー
デカルト言語 - 並列ロジック プログラミング言語