| 版 | 8.1 |
|---|---|
| 发行人 | KopecSoft |
| 发布日期 | 2014年2月24日 |
| 添加日期 | 2014年2月24日 |
| 操作系统要求 | 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) 系统！ Afany Software（纽约）、KLS（东京）和 NandaSoft（南京）为您带来了 B-Prolog。
CLP 的诞生是编程语言历史上的一个里程碑。 CLP 结合了两种声明性编程范式：逻辑编程和约束求解。事实证明，声明性在众多应用中具有吸引力，包括计算机辅助设计和验证、数据库、数据挖掘、软件工程、优化、配置、图形用户界面和语言处理。极大地提高了软件开发的生产力和软件的可维护性。此外，由于有效的约束解决、内存管理和编译技术的可用性，CLP 程序可以比用过程语言编写的对应程序更有效。
