hniwa の所属プロジェクト一覧

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

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