Download List

Project Description

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.

System Requirements

System requirement is not defined
descartes-win
Windows用バイナリパッケージ descartes-win-0.3.0.zip

Released at 2009-01-25 09:59
descartes-win Windows用バイナリパッケージ descartes-win-0.3.0.zip (1 files Hide)

Release Notes

論理プログラミング言語:デカルト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

Changelog

2009 Jan25: release 0.3.0

- EBNF構文解析述語をsysモジュールから組み込み述語に変更
- syntax述語の追加
- *ワイルドカード述語の追加
- gettime述語の追加
- date述語の追加
- save述語の追加
- 実行結果のresult表示のプリティプリント化
- ドキュメントの更新。
- ドキュメントの英訳。
- exampleプログラムの更新。
- sysモジュールと組み込み述語のソースを分離