软件名称：[B]XSB 3.1[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：10.1 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

编程系统，以帮助您的工作。

XSB是一个易于使用的，方便的逻辑编程和演绎数据库系统。

现将分辨率递归查询的计算是非常有用的，可以让程序正常终止，在许多情况下，Prolog的不。感兴趣的用户解析，程序分析，模型检查，数据挖掘，诊断和时间推理可能会受益于XSB。

XSB配置支持下的神器出山:www.shenqi73.comPOSIX模型在一个单一的过程，它允许多个线程的计算。

XSB包含了多种功能，支持在内存中的面向数据的应用。利用这些功能，可以快速加载的条款与数以百万计的知识基础，并有效的索引。

[url=http://www.sot9.com/soft/97382.html][B]XSB 3.1[/B][/url]

点这里下载->XSB 3.1 [ 下载地址 ]