Scryer Prolog is a free software ISO Prolog system intended to be an industrial strength production environment and a testbed for bleeding edge research in logic and constraint programming.
Mô tả của nhà phát hành (Tiếng Anh)
Scryer Prolog là gì?
Scryer Prolog của Mark Thom là phần mềm Windows mã nguồn mở trong danh mục ngôn ngữ lập trình và SDK. Ngôn ngữ lập trình: Rust.
Cài đặt và yêu cầu hệ thống
Nhà phát hành cung cấp bộ cài Portable cho hệ thống 64-bit. Phần mềm chạy được mà không cần cài đặt (bản portable).
Cập nhật và lịch sử phiên bản
Phiên bản mới nhất là 0.9.3, phát hành ngày 3 tháng 11, 2023. Lịch sử phiên bản bắt đầu từ 28 tháng 8, 2023 gồm 2 bản phát hành, tất cả đều dẫn đến tệp chính thức. Bản cập nhật gần nhất đã cách đây hơn một năm.
Mức độ phổ biến và loại file
Mã nguồn trên GitHub (mthom/scryer-prolog) có 2.462 sao. Trên Windows, phần mềm đăng ký 1 loại file, trong đó có .pl. Các phần mềm tương tự gồm Go Programming Language, LLVM và Deno.
Mô tả dự án trên GitHub: “A modern Prolog implementation written mostly in Rust.”
Ư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
- Bản portable: chạy không cần cài đặt
Nhược điểm
- Chưa có bản ARM64 gốc
- Hơn một năm chưa có bản cập nhật
Tóm lại: Scryer Prolog là phần mềm Windows mã nguồn mở dành cho máy tính 64-bit, thuộc nhóm ngôn ngữ lập trình và SDK. Tần suất cập nhật đã chậm lại.
Tải Scryer Prolog có an toàn không?
- Tệp được cung cấp từ github.com, 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:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Mở báo cáo VirusTotal cho mã băm này - Liên kết chưa được kiểm tra
- 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
Thực hành bảo mật (OpenSSF Scorecard)
Kết quả kiểm tra tự động kho mthom/scryer-prolog trên GitHub do Open Source Security Foundation thực hiện, lần chạy gần nhất ngày 19 tháng 10, 2026.
- Được duy trì tích cực10
- Không có workflow nguy hiểm10
- Không có tệp nhị phân trong kho10
- Có khai báo giấy phép10
- Có phát hành gói10
- Duyệt mã8
- Cố định phiên bản thư viện phụ thuộc7
- Giới hạn quyền token0
- Huy hiệu OpenSSF Best Practices0
- Chính sách bảo mật0
- Fuzzing0
- Bảo vệ nhánh0
- Bản phát hành có chữ ký0
- Phân tích mã tĩnh0
Điểm số đánh giá cách dự án được phát triển và phát hành, không đánh giá phần mềm có an toàn để cài đặt hay không. scorecard.dev
Phiên bản gần đây
Tất cả 2 phiên bản ›| Phiên bản | Ngày | Dung lượng | Tệp |
|---|---|---|---|
| 0.9.3Mới nhất | 3 tháng 11, 2023 | — | 64-bit ZIP |
| 0.9.2 | 28 tháng 8, 2023 | — | 64-bit ZIP |
Cài đặt bằng dòng lệnh
Cài đặt im lặng ›winget install --id mthom.ScryerProlog -eHướ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 scryer-prologThông tin
- Nhà phát hành
- Mark Thom
- Danh mục
- Ngôn ngữ lập trình và SDK
- Giấy phép
- BSD-3-Clause
- Giá
- Miễn phí
- Mã nguồn
- github.com/mthom/scryer-prolog
- Ngôn ngữ lập trình
- Rust
- Yêu cầu
- Windows 11 / 10
- Kiến trúc
- 64-bit
- Loại bộ cài
- Portable
- Phiên bản
- 0.9.3
- Ngày phát hành
- 3 tháng 11, 2023
- Ngày thêm vào danh mục
- 26 tháng 9, 2023
- Số phiên bản
- 2
- Sao GitHub
- 2.462
- Fork trên GitHub
- 166
- Trang chủ
- scryer.pl
- winget ID
- mthom.ScryerProlog
Các loại file hỗ trợ (1)
Đá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ế Scryer Prolog
Xem tất cả ›-
Mã nguồn mở2,1 Tr ↓ -
Mã nguồn mở2,8 Tr ↓ -
Mã nguồn mở249,7 N ↓ -
Mã nguồn mở3,7 Tr ↓ -
Mã nguồn mở1,9 Tr ↓ -
Mã nguồn mở265,2 N ↓ -
Mã nguồn mở2,2 Tr ↓ -
Mã nguồn mở1,5 Tr ↓
Câu hỏi thường gặp
Scryer Prolog có miễn phí không?
Có. Scryer Prolog là phần mềm mã nguồn mở theo giấy phép BSD-3-Clause.
Tải Scryer Prolog có an toàn không?
Tệp được tải từ github.com, 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 Scryer 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.
Scryer 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 Scryer Prolog ở đâu?
Trang phiên bản liệt kê toàn bộ 2 phiên bản, từ 28 tháng 8, 2023, kèm liên kết đến tệp cài đặt chính thức.
Có thể dùng Scryer Prolog mà không cần quyền quản trị viên không?
Có, đây là bản portable: chỉ cần giải nén và chạy.
Có những phần mềm nào thay thế Scryer Prolog?
Go Programming Language, LLVM, Deno, CMake và Yarn. Trang phần mềm thay thế so sánh các lựa chọn này.
