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.
descartes-0.2.0をリリースします。
整数の拡張、構文解析機能や会話機能の強化を行っています。
Linux上でコンパイルしてください。
Windows上では、cygwinやmingwを使ってコンパイルすることができます。
2009 Jan17: release 0.2.0
- 整数の精度を32bitから64bitに拡張した。
- edit述語の追加。
- for述語のループ回数の変更。
- 行のヘッドとマッチする述語を追加：<^>。
- 行の最後とマッチする述語を追加: <$>。
- cd, dir, ls, pwd述語を追加した。
- Windows版でrandom述語のサポートした。
- ドキュメントの更新。
- ドキュメントの英訳。
- exampleプログラムの更新。
- Makefileのコンパイルオプションの変更。
- config.hの追加。
デカルト言語 - 並列ロジック プログラミング言語