XSB 3.1下载地址

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

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

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

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

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