デカルト言語は、論理的な推論を中心とした言語として設計しました。
狙っているのは、強力な論理的推論・探索機能があり、関数プログラミング機能を持つオブジェクト群が、人間に近い構文のI/Fによって、並列にマルチコアで動く知的なシステムです。
名前は有名な数学者・哲学者であるデカルトに因んで名づけています。
論理プログラミング言語:デカルトdescartes-0.8.0をリリースします。
今回のリリースで、大きな変更点は、述語関数の引数の評価範囲の拡大を行った
ことです。ほぼすべての述語の引数に述語を関数のように設定することができる
ようになりました。
その他変更点を以下に示します。
- 述語関数の引数の評価範囲の拡大
- trace情報の整理
- LIST操作述語の追加
- list, pwd述語の画面表示機能
- 文字列操作述語leftstr, rightstr, substr, insertの追加
- コンパイラ支援機能の追加
- 特殊述語であるx述語の追加
- curses機能の追加
- 引数が異常な場合のエラーチェック強化
- iconの追加と変更
- 新しいプログラム例の追加とドキュメント作成
- リグレッションテストセットの作成
- 不要な述語の削除と整理
- エラー時のメッセージ表示の強化
使用方法については、添付のドキュメントや以下のサイトを参照してください。
http://sourceforge.jp/projects/descartes/wiki/FrontPage
http://sourceforge.jp/projects/descartes/docman/
今後はオブジェクト指向、データ解析および人工知能(AI)風のプログラム例を増やしていきます。
● ソースパッケージ
descartes-src-0.8.0.tgz
Linux上でコンパイルしてください。
Windows上では、cygwinやmingwを使ってコンパイルすることができます。
● Windows用バイナリパッケージ
descartes-win-0.8.0.zip
2009 Mar15: release 0.8.0
- 述語関数の引数の評価範囲の拡大
- trace情報の整理
- LIST操作述語の追加
- list, pwd述語の画面表示機能
- 文字列操作述語leftstr, rightstr, substr, insertの追加
- コンパイラ支援機能の追加
- 特殊述語であるx述語の追加
- curses機能の追加
- 引数が異常な場合のエラーチェック強化
- iconの追加と変更
- 新しいプログラム例の追加とドキュメント作成
- リグレッションテストセットの作成
- 不要な述語の削除と整理
- エラー時のメッセージ表示の強化
-以下のバグを修正
- RANGE述語でSIGSEGV
- ファイルをopenする述語のエラー処理
- car, cdr述語の結果異常
- syntax述語のSIGSEGV
- isPred述語の判定誤り
- 数の比較述語の結果異常
- gsub述語の結果異常
デカルト言語 - 並列ロジック プログラミング言語