提交软件

开发者 xsb.sf.net

  • XSB 免费

    Unix 和 Windows 的逻辑编程和演绎数据库系统（表 Prolog）。