Download List

Projeto Descrição

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

Liberado: 2009-09-21 16:12
descartes-src ソースパッケージ descartes-src-0.14.0.tar.gz (1 files Esconder)

Release Notes

並列論理プログラミング言語:デカルトdescartes-0.14.0をリリースします。

変更点を以下に示します。

- トレース情報の追加(未定義述語の表示)
- マルチコア機能のプリティプリント機能の追加
- INDENT, NEXTINDENT述語の追加
- 行列matrixモジュールの追加

以下のバグを修正しました。

- NILのprint表示
- CR述語のブランクの処理の異常


使用方法については、添付のドキュメントや以下のサイトを参照してください。

 http://sourceforge.jp/projects/descartes/wiki/FrontPage

今後はマルチコア機能、オブジェクト指向、データ解析および人工知能(AI)風のプログラム例を増やしていきます。


● ソースパッケージ
descartes-src-0.14.0.tar.gz 

  Linux上では、以下のようにコンパイルします。
$ ./configure; make
Cygwin上では以下のようにコンパイルします。
$ make -f Makefile.cygwin
Mingwでは、以下のようにcygwin上でコンパイルします。
$ make -f Makefile.mingw

● Windows用バイナリパッケージ 
descartes-win-0.14.0.zip

Changelog

変更点を以下に示します。

- トレース情報の追加(未定義述語の表示)
- マルチコア機能のプリティプリント機能の追加
- INDENT, NEXTINDENT述語の追加
- 行列matrixモジュールの追加

以下のバグを修正しました。

- NILのprint表示
- CR述語のブランクの処理の異常