デカルト言語は、論理的な推論を中心とした言語として設計しました。
狙っているのは、強力な論理的推論・探索機能があり、関数プログラミング機能を持つオブジェクト群が、人間に近い構文のI/Fによって、並列にマルチコアで動く知的なシステムです。
名前は有名な数学者・哲学者であるデカルトに因んで名づけています。
論理プログラミング言語:デカルトdescartes-0.7.1をリリースします。
0.7.0では以下の不具合があったため、0.7.1をリリースします。
- コンパイル環境によってはコンパイルエラーとなる。
- range述語でSIGSEGVで異常終了することがある。
今回のリリースで、大きな変更点は、複素数のサポートを行ったことです。
関連する３角関数や対数関数でも複素数が使えます。
使用方法については、添付のドキュメントや以下のサイトを参照してください。
http://sourceforge.jp/projects/descartes/wiki/FrontPage
http://sourceforge.jp/projects/descartes/docman/
今後はオブジェクト指向、データ解析および人工知能(AI)風のプログラム例を増やしていきます。
● ソースパッケージ
descartes-src-0.7.0.tgz
Linux上でコンパイルしてください。
Windows上では、cygwinやmingwを使ってコンパイルすることができます。
● Windows用バイナリパッケージ
descartes-win-0.7.0.zip
2009 Feb24: release 0.7.0
- 複素数のサポートとletc、rpnc述語の追加
- 三角関数と対数関数の複素数サポート
- 複素数操作のreal, image, arg, norm, conj, polar述語の追加
- 数学定数のPI, e述語の追加
- 合計値を計算するsum, sumf述語の追加
- 平均値を計算するavg, avgf述語の追加
- 浮動小数点数のisNan, inInf, Finite述語の追加
- 2と10の累乗を求めるext2, ext10述語の追加
- パターンマッチでSJISの２バイト目とアスキーコードが重複しても処理できるように修正
- 構文解析のSKIP, SKIPCR述語の追加
- ファイル名のサフィックスを変更するsuffix述語の追加
- リストのｎ番目の要素を取り出すnth述語の追加
- 文字列操作のleftstr, rightstr, substr, insertstr述語の追加
デカルト言語 - 並列ロジック プログラミング言語