プロジェクト・デカルトを始めました。 (Descartes-developer) - デカルト言語 - 並列ロジックプログラミング言語

プロジェクト・デカルトを始めました。

文書を「文書一覧」に登録したので参照してみてください。

デカルト言語は、論理推論をベースとしたロジック言語です。Prolog 言語のよ
うに論理的な関係を記述し、それを基に結果を推論することによってプログラム
を実行します。それに加えて、プログラミングの表現力を向上させるために、関
数型および手続き的なプログラミングパラダイムを導入しました。また、BNF 記
法に準拠した構文解析機能を文法の基本的な要素として導入しています。決定的
なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集約的な
推論が必要な処理には論理型として記述します。さらに、デカルト言語は、オブ
ジェクト指向の機構を持ちます。このオブジェクト指向機構は、論理的な関係の
構造を柔軟に表現し、また、共通に使用するモジュールをライブラリ化するのに
も利用しています。

ソース登録については、2009.1.10から12くらいを目処に準備しています。


-- 
hniwa

デカルト言語 - 並列ロジック プログラミング言語

[Descartes-developer] プロジェクト・デカルトを始めました。

デカルト言語 - 並列ロジックプログラミング言語