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.
論理プログラミング言語:デカルト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モジュールと組み込み述語のソースを分離
デカルト言語 - 並列ロジック プログラミング言語