| バージョン | 8.1 |
|---|---|
| 出版社 | KopecSoft |
| 発売日 | 2014/02/24 |
| 追加された日付 | 2014/02/24 |
| OSの要件 | Mac OS X 10.9, Mac OS X 10.5, Mac OS X 10.8, Mac OS X 10.6 Intel, Macintosh, Mac OS X 10.4, Mac OS X 10.6, Mac OS X 10.4 Intel, Mac OS X 10.7, Mac OS X 10.5 Intel |
| 要件 | None |
| 総ダウンロード数 | 946 |
| 価格 | Free to try |
説明
B-Prolog へようこそ。多用途で効率的な制約ロジック プログラミング (CLP) システムです。 B-Prolog は、Afany Software (ニューヨーク)、KLS (東京)、および NandaSoft (南京) によって提供されています。
CLP の誕生は、プログラミング言語の歴史におけるマイルストーンです。 CLP は、論理プログラミングと制約解決という 2 つの宣言型プログラミング パラダイムを組み合わせたものです。宣言型の性質は、コンピューター支援設計と検証、データベース、データ マイニング、ソフトウェア エンジニアリング、最適化、構成、グラフィカル ユーザー インターフェイス、言語処理など、数多くのアプリケーションで魅力的であることが証明されています。ソフトウェア開発の生産性とソフトウェアの保守性を大幅に向上させます。さらに、効率的な制約解決、メモリー管理、およびコンパイル手法が利用できるため、CLP プログラムは、手続き型言語で作成された対応するプログラムよりも効率的です。
