SWI-Prolog là dạng thực thi mã nguồn mở của ngôn ngữ lập trình Prolog, thường sử dụng cho việc giảng dạy và các ứng dụng Web ngữ nghĩa. Nó chứa nhiều lợi ích, thư viện (tin học cho lập trình logic ràng buộc, tiến trình (tin học), kiểm thử đơn vị, GUI, giao diện cho Java, ODBC và những cái khác, lập trình văn chương, web server, SGML, RDF, RDF Schema, công cụ phát triển (bao gồm Môi trường phát triển tích hợp với Gỡ lỗi GUI, GUI hồ sơ (lập trình máy tính)) và các tài liệu mở rộng.
Bài viết liên quan đến khoa học máy tính này vẫn còn sơ khai. Bạn hãy giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.
SWI-Prolog là gì?
SWI-Prolog của SWI-Prolog là phần mềm Windows mã nguồn mở trong danh mục IDE và trình soạn thảo mã. Nhà phát triển: Jan Wielemaker. Phiên bản đầu tiên ra mắt năm 1987. Ngôn ngữ lập trình: C. Ngoài Windows, phần mềm còn có phiên bản cho GNU/Linux, BSD, macOS và Android.
Cài đặt và yêu cầu hệ thống
Nhà phát hành cung cấp bộ cài EXE (NSIS) cho hệ thống 64-bit. Dung lượng bộ cài chính: 36,1 MB. Quá trình cài đặt yêu cầu quyền quản trị viên. Có thể cài đặt im lặng bằng các tham số được nêu trong tài liệu của bộ cài.
Cập nhật và lịch sử phiên bản
Phiên bản mới nhất là 10.0.2, phát hành ngày 15 tháng 3, 2026. Lịch sử phiên bản bắt đầu từ 27 tháng 1, 2021 gồm 21 bản phát hành, tất cả đều dẫn đến tệp chính thức. Trung bình có khoảng 4,1 bản phát hành mỗi năm.
Mức độ phổ biến và loại file
Gói Chocolatey đã được tải về 22.048 lần. Wikipedia có bài viết về phần mềm này bằng 8 trong số các ngôn ngữ của trang. Trên Windows, phần mềm đăng ký 3 loại file, trong đó có .pl, .prolog và .qlf. Các phần mềm tương tự gồm OpenCode, RStudio và Node.js (LTS).
Ưu điểm / Nhược điểm
Ưu điểm
- Mã nguồn mở: ai cũng có thể xem và tự biên dịch
- Có tài liệu về cài đặt im lặng
- Chạy được cả trên GNU/Linux, BSD và macOS
- Dự án lâu năm (từ năm 1987)
Nhược điểm
- Chưa có bản ARM64 gốc
- Cài đặt cần quyền quản trị viên
Tóm lại: SWI-Prolog là phần mềm Windows mã nguồn mở dành cho máy tính 64-bit, thuộc nhóm IDE và trình soạn thảo mã. Phần mềm được cập nhật đều đặn. Quản trị viên có thể triển khai tự động, không cần thao tác.
Tải SWI-Prolog có an toàn không?
- Tệp được cung cấp từ swi-prolog.org, tên miền của chính nhà phát hành
- Liên kết tải về dùng HTTPS
- Có công bố mã SHA256 để kiểm tra tệp:
2EC1F25BE0EAFB92E559004782B130774C12573FB4B7E8A917E534754A641AD6· Mở báo cáo VirusTotal cho mã băm này - Liên kết phản hồi ở lần kiểm tra gần nhất (22 tháng 10, 2026)
- Mã nguồn được công khai
- ExeAtlas không lưu trữ, không đóng gói kèm và không chỉnh sửa bộ cài
Hướng dẫn liên quan: Cách kiểm tra mã SHA256 của file trên Windows
Phiên bản gần đây
Tất cả 21 phiên bản ›21 phiên bản trong 5 năm · khoảng 4,1 bản mỗi năm
| Phiên bản | Ngày | Dung lượng | Tệp |
|---|---|---|---|
| 10.0.2Mới nhất | 15 tháng 3, 2026 | 36,1 MB | 64-bit EXE (NSIS) |
| 10.0.1 | 18 tháng 2, 2026 | 36,1 MB | 64-bit EXE (NSIS) |
| 10.0.0 | 5 tháng 12, 2025 | 36,8 MB | 64-bit EXE (NSIS) |
| 9.2.9 | 23 tháng 12, 2024 | 14,3 MB | 32-bit EXE (NSIS)64-bit EXE (NSIS) |
| 9.2.8 | 23 tháng 10, 2024 | 13,9 MB | 32-bit EXE (NSIS)64-bit EXE (NSIS) |
| 9.2.7 | 3 tháng 9, 2024 | 13,9 MB | 64-bit EXE (NSIS)32-bit EXE (NSIS) |
| 9.2.6 | 24 tháng 7, 2024 | 13,8 MB | 32-bit EXE (NSIS)64-bit EXE (NSIS) |
| 9.2.5 | 22 tháng 5, 2024 | 13,8 MB | 64-bit EXE (NSIS)32-bit EXE (NSIS) |
Cài đặt bằng dòng lệnh
Cài đặt im lặng ›winget install --id SWI-Prolog.SWI-Prolog -echoco install SWI-Prolog -yscoop install extras/swiplswipl-10.0.2-1.x64.exe /STệp chương trình (.exe): swipl.exe, swipl-ld.exe
Hướng dẫn liên quan: Cách dùng winget để cài đặt và cập nhật phần mềm
Cũng có cho hệ điều hành khác
brew install swi-prologflatpak install flathub org.swi_prolog.swiplThông tin
- Nhà phát hành
- SWI-Prolog
- Nhà phát triển
- Jan Wielemaker
- Danh mục
- IDE và trình soạn thảo mã
- Giấy phép
- BSD-2-Clause
- Giá
- Miễn phí
- Mã nguồn
- github.com
- Ngôn ngữ lập trình
- C
- Phân loại nội dung
- Mọi lứa tuổi
- Yêu cầu
- Windows 11 / 10
- Kiến trúc
- 64-bit
- Loại bộ cài
- EXE (NSIS)
- Nền tảng khác
- GNU/Linux, BSD, macOS, Android
- Phiên bản
- 10.0.2
- Ngày phát hành
- 15 tháng 3, 2026
- Phát hành lần đầu
- 1987
- Ngày thêm vào danh mục
- 10 tháng 1, 2022
- Số phiên bản
- 21
- Số lần cập nhật / năm
- 4,1
- Lượt tải Chocolatey
- 22.048
- Lượt tải trên ExeAtlas
- 1
- Trang chủ
- swi-prolog.org
- winget ID
- SWI-Prolog.SWI-Prolog
- Gói Chocolatey
- SWI-Prolog
- Gói Scoop
- extras/swipl
Các loại file hỗ trợ (3)
Đánh giá và nhận xét
Chưa có nhận xét nào. Hãy là người đầu tiên đánh giá.
Phần mềm thay thế SWI-Prolog
Xem tất cả ›-
Mã nguồn mở292,3 N ↓ -
Mã nguồn mở707,6 N ↓ -
Mã nguồn mở4,9 Tr ↓ -
Mã nguồn mở88,8 N ↓ -
Mã nguồn mở49,7 N ↓ -
Mã nguồn mở398,1 N ↓ -
Mã nguồn mở96,6 N ↓ -
Mã nguồn mở12,3 N ↓
Câu hỏi thường gặp
SWI-Prolog có miễn phí không?
Có. SWI-Prolog là phần mềm mã nguồn mở theo giấy phép BSD-2-Clause.
Tải SWI-Prolog có an toàn không?
Tệp được tải từ swi-prolog.org, tên miền thuộc về nhà phát hành; ExeAtlas không lưu trữ và không chỉnh sửa tệp. Hãy so sánh mã SHA256 của tệp đã tải với mã hiển thị trên trang này, hoặc mở báo cáo VirusTotal cho mã băm đó.
Cài đặt SWI-Prolog bằng winget như thế nào?
Mở PowerShell hoặc Windows Terminal và chạy lệnh winget hiển thị trên trang này. winget sẽ tải bộ cài chính thức và kiểm tra mã SHA256 trước khi chạy.
SWI-Prolog có hỗ trợ cài đặt im lặng không?
Có. Trang cài đặt im lặng liệt kê lệnh chính xác cho từng bộ cài.
SWI-Prolog có chạy trên máy ARM (Windows on Arm) không?
Chưa có bản ARM64; Windows 11 on Arm có thể chạy bản 64-bit thông qua giả lập.
Tải phiên bản cũ của SWI-Prolog ở đâu?
Trang phiên bản liệt kê toàn bộ 21 phiên bản, từ 27 tháng 1, 2021, kèm liên kết đến tệp cài đặt chính thức.
Có những phần mềm nào thay thế SWI-Prolog?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans và Haxe. Trang phần mềm thay thế so sánh các lựa chọn này.
