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

Released at 2009-01-17 12:54
descartes-src ソースパッケージ descartes-src-0.2.0.tgz (1 files Hide)

Release Notes




2009 Jan17: release 0.2.0

- 整数の精度を32bitから64bitに拡張した。
- edit述語の追加。
- for述語のループ回数の変更。
- 行のヘッドとマッチする述語を追加:<^>。
- 行の最後とマッチする述語を追加: <$>。
- cd, dir, ls, pwd述語を追加した。
- Windows版でrandom述語のサポートした。
- ドキュメントの更新。
- ドキュメントの英訳。
- exampleプログラムの更新。
- Makefileのコンパイルオプションの変更。
- config.hの追加。