デカルト言語は、論理的な推論を中心とした言語として設計しました。
狙っているのは、強力な論理的推論・探索機能があり、関数プログラミング機能を持つオブジェクト群が、人間に近い構文のI/Fによって、並列にマルチコアで動く知的なシステムです。
名前は有名な数学者・哲学者であるデカルトに因んで名づけています。
論理プログラミング言語:デカルトdecartes-0.3.0をリリースします。
今回のリリースで最も大きな変更点は、構文解析機能を強化したことです。
詳細は添付のドキュメントや次のサイトを参照してください。
http://sourceforge.jp/projects/descartes/wiki/FrontPage
● ソースパッケージ
descartes-src-0.3.0.tgz
Linux上でコンパイルしてください。
Windows上では、cygwinやmingwを使ってコンパイルすることができます。
● Windows用バイナリパッケージ
descartes-win-0.3.0.zip
2009 Jan25: release 0.3.0
- EBNF構文解析述語をsysモジュールから組み込み述語に変更
- syntax述語の追加
- *ワイルドカード述語の追加
- gettime述語の追加
- date述語の追加
- save述語の追加
- 実行結果のresult表示のプリティプリント化
- ドキュメントの更新。
- ドキュメントの英訳。
- exampleプログラムの更新。
- sysモジュールと組み込み述語のソースを分離
デカルト言語 - 並列ロジック プログラミング言語