歡迎到B-Prolog的，靈活的，高效的約束邏輯編程（CLP）系統！ B-Prolog的正在為您帶來Afany軟件（紐約），KLS（東京都），和南大蘇富特（南京）。英CLP的誕生是在編程語言史上的一個里程碑。 CLP結合了兩個聲明式編程範式：邏輯編程和約束求解。聲明性性質已被證明有吸引力在許多應用中，包括計算機輔助設計和驗證，數據庫，數據挖掘，軟件工程，優化，配置，圖形用戶界面，和語言處理。它極大地提高了軟件開發和軟件可維護性的生產率。因為有效的約束求解，內存管理和編譯技術的可用性此外，CLP程序可以比他們的同行寫的過程語言更有效。
什麼是新的本新聞稿中：
- 在支持UTF-8。
- 新的內置插件：的getpid / 1，bp_current_resource / 1。
- Bug修復和改進：
英策劃師
英之間/ 3。
英減去/ 3。
英乘法約束
評論沒有發現