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

2009-03-01

2009-03-01 19:53 (by hniwa)

論理プログラミング言語:デカルト言語の例題を集めたexapmle-0.7.0をリリースします。

このリリースでは、Tiny Rubyのプログラム例を追加しました。
example/tinyrubyの下です。


2009-02-24

2009-02-24 21:48 (by hniwa)

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

今回のリリースで、大きな変更点は、複素数のサポートを行ったことです。
関連する3角関数や対数関数でも複素数が使えます。

- 複素数のサポートとletc、rpnc述語の追加
- 三角関 (Show more...)

2009-02-17

2009-02-17 21:43 (by hniwa)

デカルト言語のwikiのページに「デカルト言語のプログラム:サルとバナナ」を登録しました。
  http://sourceforge.jp/projects/descartes/wiki/FrontPage

デカルト言語による人工知能風のプログラムをご紹介しています。

昔からある有名な問題です (Show more...)

2009-02-15

2009-02-15 21:08 (by hniwa)

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

今回のリリースで、大きな変更点は、オブジェクト指向の機構の見直しとprintf述語の追加を行ったことです。
変更点の詳細は添付のドキュメントを参照してください。

このリリースに (Show more...)

2009-02-08

2009-02-08 20:48 (by hniwa)

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

今回のリリースで、大きな変更点は、動的なオブジェクト指向の機構の追加を行ったことです。
変更点の詳細は添付のドキュメントを参照してください。

このリリースによる強化によっ (Show more...)

2009-02-06

2009-02-06 00:04 (by hniwa)

デカルト言語プロジェクトのwikiのページに「デカルト言語のプログラム:リストの操作」を登録しました。
http://sourceforge.jp/projects/descartes/wiki/FrontPage

デカルト言語には、prolog言語と同様な1階述語論理とパターンマッチの機能を実装して (Show more...)

2009-02-01

2009-02-01 11:15 (by hniwa)

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

今回のリリースで、大きな変更点は、ワイルドカード述語の見直し、浮動小数点数の精度をlong doubleに変更したこと、および、いくつかの述語の追加です。
変更点の詳細は添付のドキュメ (Show more...)

2009-01-25

2009-01-25 10:16 (by hniwa)

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

今回のリリースで最も大きな変更点は、構文解析機能を強化したことです。
詳細は添付のドキュメントや次のサイトを参照してください。
 http://sourceforge.jp/projects/descartes/wi (Show more...)

2009-01-17

2009-01-17 13:21 (by hniwa)

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

今回のリリースで最も大きな変更点は、整数を32bitから64bitの精度に変更したことです。これにより、今までは10桁しか使えなかった整数が19桁まで扱えるようになりました。
また、機能 (Show more...)

2009-01-13

2009-01-13 20:39 (by hniwa)

デカルト言語プロジェクトのwikiのページにプログラムの例を登録しました。

「hello, world」の表示から始まり、さまざまな例題で簡単なデカルト言語のプログラムについて説明しています。

デカルト言語の持つ機能要素である1階述語論理、オブジェクト (Show more...)
Archive per year
2009 / 2010 / 2011 / 2012