hniwa****@users*****
hniwa****@users*****
2009年 1月 25日 (日) 11:13:22 JST
論理プログラミング言語:デカルトdecartes-0.3.0をリリースします。 今回のリリースで最も大きな変更点は、構文解析機能を強化したことです。 詳細は添付のドキュメントや次のサイトを参照してください。 http://sourceforge.jp/projects/descartes/wiki/FrontPage ● ソースパッケージ descartes-src-0.3.0.tgz Linux上でコンパイルしてください。 Windows上では、cygwinやmingwを使ってコンパイルすることができます。 ● Windows用バイナリパッケージ descartes-win-0.3.0.zip デカルト言語は、論理推論をベースとしたロジック言語です。Prolog 言語 のように論理的な関係を記述し、それを基に結果を推論することによって プログラムを実行します。 それに加えて、プログラミングの表現力を向上させるために、関数型および 手続き的なプログラミングパラダイムを導入しました。また、BNF 記法に 準拠した構文解析機能を文法の基本的な要素として導入しています。 決定的なルーチン処理は関数型や手続き型のプロシージャとして記述し、 知識集約的な推論が必要な処理には論理型として記述します。 さらに、デカルト言語は、オブジェクト指向の機構を持ちます。この オブジェクト指向機構は、論理的な関係の構造を柔軟に表現し、また、 共通に使用するモジュールをライブラリ化するのにも利用しています。
デカルト言語 - 並列ロジック プログラミング言語