提交軟體

開發者 xsb.sf.net

  • XSB 免費

    Unix 和 Windows 的邏輯程式設計和演繹資料庫系統（表 Prolog）。