XSB 3.1
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://sourceforge.net/projects/xsb/files/xsb/XSB%203.1%20%28Incognito%29/xsb-3.1-win32.zip/download
Về XSB
Logic lập trình và suy luận hệ thống cơ sở dữ liệu (Tabled Prolog) cho Unix và Windows.
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.