欢迎到B-Prolog的，灵活的，高效的约束逻辑编程（CLP）系统！ B-Prolog的正在为您带来Afany软件（纽约），KLS（东京都），和南大苏富特（南京）。英CLP的诞生是在编程语言史上的一个里程碑。 CLP结合了两个声明式编程范式：逻辑编程和约束求解。声明性性质已被证明有吸引力在许多应用中，包括计算机辅助设计和验证，数据库，数据挖掘，软件工程，优化，配置，图形用户界面，和语言处理。它极大地提高了软件开发和软件可维护性的生产率。因为有效的约束求解，内存管理和编译技术的可用性此外，CLP程序可以比他们的同行写的过程语言更有效。
什么是新的本新闻稿中：
- 在支持UTF-8。
- 新的内置插件：的getpid / 1，bp_current_resource / 1。
- Bug修复和改进：
英策划师
英之间/ 3。
英减去/ 3。
英乘法约束
评论没有发现