B-Prolog

软件截图:
B-Prolog
软件详细信息:
版本: 8.1
上传日期: 22 Nov 14
开发: KopecSoft
许可: 共享软件
价格: 298.00 $
人气: 63
尺寸: 2020 Kb

Rating: 3.3/5 (Total Votes: 4)

欢迎到B-Prolog的,灵活的,高效的约束逻辑编程(CLP)系统! B-Prolog的正在为您带来Afany软件(纽约),KLS(东京都),和南大苏富特(南京)。英CLP的诞生是在编程语言史上的一个里程碑。 CLP结合了两个声明式编程范式:逻辑编程和约束求解。声明性性质已被证明有吸引力在许多应用中,包括计算机辅助设计和验证,数据库,数据挖掘,软件工程,优化,配置,图形用户界面,和语言处理。它极大地提高了软件开发和软件可维护性的生产率。因为有效的约束求解,内存管理和编译技术的可用性此外,CLP程序可以比他们的同行写的过程语言更有效。

什么是新的本新闻稿中:

  • 在支持UTF-8。
  • 新的内置插件:的getpid / 1,bp_current_resource / 1。
  • Bug修复和改进:
    英策划师
    英之间/ 3。
    英减去/ 3。
    英乘法约束

类似的软件

ActiveTcl (Mac)
ActiveTcl (Mac)

12 Dec 14

Berkeley UPC
Berkeley UPC

13 Aug 18

ActivePython
ActivePython

2 Jan 15

ANTLRWorks
ANTLRWorks

14 Dec 14

意见 B-Prolog

评论没有发现
添加评论
打开图片!