Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. XSB

XSB 3.1

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu
Tải về

Logic lập trình và suy luận hệ thống cơ sở dữ liệu (Tabled Prolog) cho Unix và Windows.

lịch sử phiên bản

  • Phiên bản XSB%203.1%20%28Incognito%29 đăng trên 2007-08-30
    Một số bản sửa lỗi và cập nhật
  • Phiên bản XSB 3.1 Incognito đăng trên 2007-08-30

Chi tiết chương trình

Các chương trình liên quan

  • XML::Validator::Schema Miễn phí

    Mô-đun Perl này cho phép bạn xác thực tài liệu XML chống lại một XML W3CSchema. Mô-đun này không thực hiện lược đồ W3C XML đầy đủkhuyến nghị, nhưng là một tập hợp con hữu ích.

  • DHL Track and Trace Dùng thử miễn phí

    DHL Track &Trace - Phiên bản không chính thức 1.1.1Dễ sử dụngTính năng- Quét mã vạch- Theo dõi lịch sử số- Gần văn phòng DHL- Chia sẻ URL theo dõi qua EmailPhiên bản 1.1.1Sửa lỗi menu bị thiếu.Phiên

  • Eclipse Caps Toggle Plugin Miễn phí

    Eclipse 3.x plugin để cung cấp trường hợp chuyển đổi chức năng trong các biên tập viên Eclipse khác nhau. Bao gồm mục đích chung "firstName -> FIRSTNAME -> firstname -> FIRSTnAME -> firstName" toggling a

  • SQL Audit Miễn phí

    T-SQL Script Generator cho SQL Server 2000/2005 để cho phép kiểm toán trên cơ sở dữ liệu bảng bằng cách sử dụng gây nên và bổ sung bảng để kiểm toán. Kiểm toán SQL được tạo thành từ hai hội đồng .NET 2.0: SqlAudit.dll và SqlA

  • Integrated Testing Framework Miễn phí

    Một khuôn khổ thử nghiệm tích hợp, bao gồm tạo trường hợp thử nghiệm, thực hiện, báo cáo lỗi, phạm vi bảo hiểm mã và quy ước mã hóa. Hiện nay Đây là một bộ mô-đun cho netbeans IDE, tích hợp một số mã nguồn mở PHP Testing Tool

  • CINT Smartcard Miễn phí

    Dự án CINT Smartcard là một tập hợp các công cụ và thư viện để thử nghiệm thẻ thông minh. Bây giờ nó bao gồm một công cụ GUI, TestCase Manager, và hai thư viện biên dịch sẵn CINT, pcsclib & gsmlib, để hỗ trợ đầu đọc thẻ P

  • Listables - Donate Dùng thử miễn phí

    ============ Đây là phiên bản quyên góp của Listables ứng dụng miễn phí ============Vui lòng xem xét quyên góp bằng cách tải xuống phiên bản ứng dụng này. Tôi chỉ là một nhà phát triển cố gắng để làm cho kết thúc đáp

  • PPIV Miễn phí

    PPIV là một ứng dụng phần mềm song song được sử dụng trong phân tích hình ảnh hạt Velocimetry (PIV). Phần mềm này sẽ tính toán các lĩnh vực vector cho một cặp hình ảnh hoặc nhiều cặp hình ảnh. PPIV có thể chạy trên một máy tí

  • vdevice Miễn phí

    Vdevice là một công cụ giả lập và phát triển cho phần cứng ảo. Được viết trong khuôn khổ .NET, vdevice cho phép người có sở thích viết phần mềm hoặc hệ điều hành mà không phải đối phó với chi phí của một x86 hoặc nền tảng tư

  • Comparative Genomics Ontology Miễn phí

    Ontology bộ gen so sánh (CGO) là một ontology OWL ban đầu được phát triển để hỗ trợ tích hợp dữ liệu gen so sánh từ các nguồn tài nguyên không đồng nhất như một phần của dự án ComparaGRID.