B-Prologを、汎用性と効率的な制約論理プログラミング(CLP)システムへようこそ! B-PrologはAfanyソフトウェア(ニューヨーク)、KLS(東京)、及びNandaSoft(南京)によってもたらされている。オリジナルCLPの誕生は、プログラミング言語の歴史の中で画期的な出来事です。論理プログラミングと制約解決:CLPは2宣言型プログラミングパラダイムを組み合わせたものです。宣言的性質は、コンピュータ支援設計、検証、データベース、データマイニング、ソフトウェアエンジニアリング、最適化、構成、グラフィカル·ユーザ·インタフェース、および言語処理を含む多くの用途において魅力的なことが証明されている。これは、非常にソフトウェア開発とソフトウェアの保守の生産性を高める。また、ために効率的な制約解決、メモリ管理、およびコンパイル技術の利用可能性、CLPプログラムは、手続き型言語で記述されたそれらの対応よりも効率的であることができます。
の強い新機能>このリリースで:
- サポートUTF-8。
- この新しい組み込み関数:GETPID / 1、bp_current_resource / 1。
- このバグの修正と改良:
オリジナルプランナー
オリジナル/ 3の間。
オリジナル/ 3を引く。
乗算制約ます。
コメントが見つかりません