デカルト言語は、論理的な推論を中心とした言語として設計しました。
狙っているのは、強力な論理的推論・探索機能があり、関数プログラミング機能を持つオブジェクト群が、人間に近い構文のI/Fによって、並列にマルチコアで動く知的なシステムです。
名前は有名な数学者・哲学者であるデカルトに因んで名づけています。
Windows用のバイナリパッケージです。
ソースはdescartes-src-0.1.0.tgzを使い、cygwin上のmingwでコンパイルしたものです。
This is a binary package for Windows. descartes-src-0.1.0.tgz is used and it compiles by mingw on cygwin.
デカルト言語 - 並列ロジック プログラミング言語