ダウンロードリスト

Sponsored link

プロジェクト概要

デカルト言語は、論理的な推論を中心とした言語として設計しました。

狙っているのは、強力な論理的推論・探索機能があり、関数プログラミング機能を持つオブジェクト群が、人間に近い構文のI/Fによって、並列にマルチコアで動く知的なシステムです。

名前は有名な数学者・哲学者であるデカルトに因んで名づけています。

システム要件

システム要件が設定されていません
descartes-win
Windows用バイナリパッケージ descartes-win-0.26.0.zip

リリース時刻: 2012-09-09 20:52
descartes-win Windows用バイナリパッケージ descartes-win-0.26.0.zip (1 個のファイル 非表示)

リリースノート

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

● インターネット上のwwwの情報を自動的に取得して、任意に加工して表示する機能を強化しました。また、コンパイラとhadoopを使う例題を追加しました。

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

- htmlのセクション単位での切り出しを行うhtmlsection述語を追加
- html内のコメントを消去するhtmlCommenttags述語を追加
- erasetags述語の入れ子状態で使う修正
- PL/0プログラム言語のコンパイラ例を追加。
 関数型やクロージャの例題も含む。
- hadoopで使用するための例題を追加

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

- gcc-4.5.3でコンパイルできるようにした
- gc(ガベージコレクタ)の改良
- iconv中にSIGSEGV発生するバグを修正
- printlistの出力を修正
- ODE述語の例題を修正


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

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

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


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

  以下のようにコンパイルします。
(Linux, MinGW, Cygwin, OpenSolarisで確認してあります)
$ sh configure; make

なお、Mingwでは、MinGWのサイトのDownloadsのリンク先の
UserContributedにあるregexを事前にインストールしておいてください。

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

変更履歴

2012 Sep09: release 0.26.0

- htmlのセクション単位での切り出しを行うhtmlsection述語を追加
- html内のコメントを消去するhtmlCommenttags述語を追加
- erasetags述語の入れ子状態で使う修正
- PL/0プログラム言語のコンパイラ例を追加。
 関数型やクロージャの例題も含む。
- hadoopで使用するための例題を追加

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

- gcc-4.5.3でコンパイルできるようにした
- gc(ガベージコレクタ)の改良
- iconv中にSIGSEGV発生するバグを修正
- printlistの出力を修正
- ODE述語の例題を修正