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.15.0をリリースします。
変更点を以下に示します。
- break述語の追加
- 未定変数に対するdelVar述語の動作の変更
- listモジュールのマニュアルの追加
- パズル例題の追加
以下のバグを修正しました。
- CR述語の再実行処理の修正
- syntax error時に発生するSIGSEGVの修正
使用方法については、添付のドキュメントや以下のサイトを参照してください。
http://sourceforge.jp/projects/descartes/wiki/FrontPage
今後もマルチコア機能、オブジェクト指向、データ解析および人工知能(AI)風のプログラム例を増やしていきます。
● ソースパッケージ
descartes-src-0.15.0.tar.gz
Linux上では、以下のようにコンパイルします。
$ ./configure; make
Cygwin上では以下のようにコンパイルします。
$ make -f Makefile.cygwin
Mingwでは、以下のようにcygwin上でコンパイルします。
$ make -f Makefile.mingw
● Windows用バイナリパッケージ
descartes-win-0.15.0.zip
変更点を以下に示します。
- break述語の追加
- 未定変数に対するdelVar述語の動作の変更
- listモジュールのマニュアルの追加
- パズル例題の追加
以下のバグを修正しました。
- CR述語の再実行処理の修正
- syntax error時に発生するSIGSEGVの修正
デカルト言語 - 並列ロジック プログラミング言語