![](/statics/img/blank.png)
XSB 3.1
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/xsb/files/xsb/XSB%203.1%20%28Incognito%29/xsb-3.1-win32.zip/download
关于 XSB
Unix 和 Windows 的逻辑编程和演绎数据库系统(表 Prolog)。
相关软件
-
XML::Validator::Schema 免费
此 Perl 模块允许您根据 W3C XML 验证 XML 文档模式。 此模块未实现完整的 W3C XML 架构建议,但一个有用的子集。
-
DHL Track and Trace 免费试用
DHL 跟踪 - 非官方版本 1.1.1易于使用特征- 条形码扫描- 跟踪数字历史记录跟踪- 靠近DHL办公室- 通过电子邮件共享跟踪 URL版本 1.1.1修复菜单丢失。版本 1.0.9在共享功能上修复的错误版本 1.0.8修复了错误版本 1.0.7修复了错误版本 1.0.5修复了果冻豆菜单上缺少。版本 1.0.4错误修复并更改共享电子邮件格式版本
-
Eclipse Caps Toggle Plugin 免费
Eclipse 3.x 插件,用于在各种 Eclipse 编辑器中提供大小写切换功能。包括通用 " firstname -> 名字 -> 名字 -> FIRSTnAME -> 名字 " " firstname -> FIRST_NAME;
-
SQL Audit 免费
SQL Server 2000/2005 的 T-SQL 脚本生成器允许使用触发器和其他表对数据库表进行审核。SQL 审核由两个 .NET 2.0 程序集组成:SqlAudit .dll SqlAuditgener.exe。
-
Integrated Testing Framework 免费
集成测试框架,涵盖测试用例生成、执行、错误报告、代码覆盖率和编码约定。目前这是一个模块套件的 netbeans IDE,集成了一些开源 PHP 测试工具
-
CINT Smartcard 免费
CINT 智能卡项目是用于测试智能卡的工具和库的集合。现在,它包括一个GUI工具,测试箱管理器和两个CINT预编译库,pcsclib和gsmlib,分别支持PC/SC读卡器和GSM命令。
-
Listables - Donate 免费试用
============这是免费应用程序列表的捐赠版本============请考虑通过下载此版本的应用程序进行捐赠。我只是一个试图维持收支平衡的开发人员,每次捐赠都帮助我花多一点时间为 Listables 的功能工作,当然还有解决错误!;)============感谢您捐赠(或考虑捐赠),下面是应用程序的正常描述============这个程序的设计有一个目标:它是您的数据,直接发送给任何你想要的人。它
-
PPIV 免费
PPIV 是粒子图像测速 (PIV) 分析中使用的并行软件应用程序。该软件将计算一个图像对或多个图像对的矢量字段。PPIV 可以在单个桌面计算机上或在群集环境中运行。
-
vdevice 免费
Vdevice 是虚拟硬件的仿真器和开发工具。 vDevice 在 .NET 框架中编写,允许业余爱好者编写软件或操作系统,而无需处理 x86 或类似平台的开销。
-
Comparative Genomics Ontology 免费
比较基因组本体学 (CGO) 是 OWL 本体学,最初开发以支持从异构资源的比较基因组学数据集成,作为 ComparaGRID 项目的一部分。