You are not logged in. This forum allows only logged in users to post. If you want to post in the forum, please log in.
Download
Magazine
Develop
Account
Download
Magazine
Develop
Login
Forgot Account/Password
Create Account
Language
Help
Language
Help
×
Login
Login Name
Password
×
Forgot Account/Password
Category:
Software
People
PersonalForge
Magazine
Wiki
Search
OSDN
>
Find Software
>
Scientific/Engineering
>
Artificial Intelligence
>
デカルト言語 - 並列ロジック プログラミング言語
>
Forums
>
Open Discussion
>
論理プログラミング言語:デカルトdecartes-0.3.0 リリース
デカルト言語 - 並列ロジック プログラミング言語
Description
Project Summary
Developer Dashboard
Web Page
Developers
Image Gallery
List of RSS Feeds
Activity
Statistics
History
Downloads
List of Releases
Stats
Source Code
Code Repository list
Subversion
View Repository
Ticket
Ticket List
Milestone List
Type List
Component List
List of frequently used tickets/RSS
Submit New Ticket
Documents
Wiki
FrontPage
Title index
Recent changes
Doc Mgr
List Docs
Communication
Forums
List of Forums
Open Discussion (32)
Mailing Lists
list of ML
descartes-developer
News
Forums:
Open Discussion
(Thread #21431)
Return to Thread list
RSS
論理プログラミング言語:デカルトdecartes-0.3.0 リリース (2009-01-25 11:10 by
hniwa
#41451)
Create ticket
論理プログラミング言語:デカルト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 記法に準拠した構文解析機能を文法の基本的な要素として導入しています。
決定的なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集約的な推論が必要な処理には論理型として記述します。
さらに、デカルト言語は、オブジェクト指向の機構を持ちます。このオブジェクト指向機構は、論理的な関係の構造を柔軟に表現し、また、共通に使用するモジュールをライブラリ化するのにも利用しています。