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.
Περιγραφή του εκδότη (Αγγλικά)
Τι είναι το Scryer Prolog;
Το Scryer Prolog κυκλοφορεί από τον εκδότη Mark Thom και είναι λογισμικό ανοιχτού κώδικα για Windows της κατηγορίας «Γλώσσες και SDK». Γλώσσα προγραμματισμού: Rust.
Εγκατάσταση και απαιτήσεις
Ο εκδότης διαθέτει αρχεία εγκατάστασης Φορητό για Windows 64-bit. Λειτουργεί χωρίς εγκατάσταση (φορητή έκδοση).
Ενημερώσεις και ιστορικό εκδόσεων
Η τρέχουσα έκδοση είναι η 0.9.3 (κυκλοφορία: 3 Νοεμβρίου 2023). Το ιστορικό εκδόσεων ξεκινά από τις 28 Αυγούστου 2023 και περιλαμβάνει 2 κυκλοφορίες, όλες με συνδέσμους προς τα επίσημα αρχεία. Η τελευταία ενημέρωση έγινε πριν από περισσότερο από έναν χρόνο.
Δημοτικότητα και τύποι αρχείων
Ο πηγαίος κώδικας στο GitHub (mthom/scryer-prolog) έχει 2.462 αστέρια. Στα Windows καταχωρεί 1 τύπο αρχείου, μεταξύ των οποίων .pl. Παρόμοια προγράμματα: Go Programming Language, LLVM και Deno.
Περιγραφή του έργου στο GitHub: “A modern Prolog implementation written mostly in Rust.”
Πλεονεκτήματα / Μειονεκτήματα
Πλεονεκτήματα
- Ανοιχτός κώδικας: ο καθένας μπορεί να τον ελέγξει και να τον μεταγλωττίσει
- Φορητό: λειτουργεί χωρίς εγκατάσταση
Μειονεκτήματα
- Δεν υπάρχει εγγενής έκδοση ARM64
- Καμία ενημέρωση εδώ και πάνω από έναν χρόνο
Συνοπτικά: Το Scryer Prolog είναι εργαλείο ανοιχτού κώδικα της κατηγορίας «Γλώσσες και SDK» για υπολογιστές 64-bit. Οι ενημερώσεις έχουν αραιώσει.
Είναι ασφαλής η λήψη του Scryer Prolog;
- Το αρχείο διατίθεται από το github.com, τον τομέα του ίδιου του εκδότη
- Ο σύνδεσμος λήψης χρησιμοποιεί HTTPS
- Δημοσιεύεται hash SHA256, οπότε μπορείτε να επαληθεύσετε το αρχείο:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Άνοιγμα της αναφοράς VirusTotal για αυτό το hash - Ο σύνδεσμος δεν έχει ελεγχθεί ακόμη
- Ο πηγαίος κώδικας είναι δημόσιος
- Το ExeAtlas δεν φιλοξενεί, δεν τυλίγει και δεν τροποποιεί αρχεία εγκατάστασης
Σχετικός οδηγός: Έλεγχος SHA256 αρχείου στα Windows
Πρακτικές ασφάλειας (OpenSSF Scorecard)
Αυτόματοι έλεγχοι του αποθετηρίου mthom/scryer-prolog στο GitHub από το Open Source Security Foundation· τελευταία εκτέλεση: 19 Οκτωβρίου 2026.
- Ενεργή συντήρηση10
- Χωρίς επικίνδυνες ροές εργασιών10
- Χωρίς δυαδικά αρχεία στο αποθετήριο10
- Δηλωμένη άδεια10
- Δημοσιευμένα πακέτα10
- Αναθεώρηση κώδικα8
- Καρφιτσωμένες εξαρτήσεις7
- Περιορισμένα δικαιώματα token0
- Σήμα OpenSSF Best Practices0
- Πολιτική ασφαλείας0
- Fuzzing0
- Προστασία κλάδων0
- Υπογεγραμμένες εκδόσεις0
- Στατική ανάλυση κώδικα0
Η βαθμολογία αξιολογεί τον τρόπο με τον οποίο αναπτύσσεται και κυκλοφορεί το έργο, όχι το αν η εγκατάσταση του προγράμματος είναι ασφαλής. scorecard.dev
Πρόσφατες εκδόσεις
Και οι 2 εκδόσεις ›| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 0.9.3Τελευταία | 3 Νοεμβρίου 2023 | — | 64-bit ZIP |
| 0.9.2 | 28 Αυγούστου 2023 | — | 64-bit ZIP |
Εγκατάσταση από τη γραμμή εντολών
Αθόρυβη εγκατάσταση ›winget install --id mthom.ScryerProlog -eΣχετικός οδηγός: Οδηγός winget: εγκατάσταση και ενημέρωση προγραμμάτων
Διαθέσιμο και για άλλα συστήματα
brew install scryer-prologΠληροφορίες
- Εκδότης
- Mark Thom
- Κατηγορία
- Γλώσσες και SDK
- Άδεια
- BSD-3-Clause
- Τιμή
- Δωρεάν
- Πηγαίος κώδικας
- github.com/mthom/scryer-prolog
- Γλώσσα προγραμματισμού
- Rust
- Απαιτήσεις
- Windows 11 / 10
- Αρχιτεκτονική
- 64-bit
- Αρχείο εγκατάστασης
- Φορητό
- Έκδοση
- 0.9.3
- Κυκλοφορία
- 3 Νοεμβρίου 2023
- Προστέθηκε στον κατάλογο
- 26 Σεπτεμβρίου 2023
- Καταγεγραμμένες εκδόσεις
- 2
- Αστέρια GitHub
- 2.462
- Forks στο GitHub
- 166
- Ιστότοπος
- scryer.pl
- Αναγνωριστικό winget
- mthom.ScryerProlog
Τύποι αρχείων που ανοίγει (1)
Βαθμολογίες και κριτικές
Δεν υπάρχουν ακόμη κριτικές. Γίνετε οι πρώτοι που θα βαθμολογήσουν.
Εναλλακτικά του Scryer Prolog
Όλα ›-
Ανοιχτού κώδικα2,1 εκ. ↓ -
Ανοιχτού κώδικα2,8 εκ. ↓ -
Ανοιχτού κώδικα249,7 χιλ. ↓ -
Ανοιχτού κώδικα3,7 εκ. ↓ -
Ανοιχτού κώδικα1,9 εκ. ↓ -
Ανοιχτού κώδικα263,6 χιλ. ↓ -
Ανοιχτού κώδικα2,2 εκ. ↓ -
Ανοιχτού κώδικα1,4 εκ. ↓
Συχνές ερωτήσεις
Είναι δωρεάν το Scryer Prolog;
Ναι. Το Scryer Prolog είναι λογισμικό ανοιχτού κώδικα με άδεια BSD-3-Clause και η λήψη και η χρήση του είναι δωρεάν.
Είναι ασφαλής η λήψη του Scryer Prolog;
Το αρχείο κατεβαίνει από το github.com, που ανήκει στον εκδότη· το ExeAtlas δεν φιλοξενεί ούτε τροποποιεί το αρχείο. Συγκρίνετε το hash SHA256 του αρχείου με αυτό που εμφανίζεται εδώ ή ανοίξτε την αναφορά VirusTotal για αυτό το hash.
Πώς εγκαθίσταται το Scryer Prolog με το winget;
Ανοίξτε το PowerShell ή το Windows Terminal και εκτελέστε την εντολή winget που εμφανίζεται σε αυτή τη σελίδα. Το winget κατεβάζει το επίσημο αρχείο εγκατάστασης και ελέγχει το hash SHA256 πριν το εκτελέσει.
Λειτουργεί το Scryer Prolog σε ARM (Windows on Arm);
Δεν υπάρχει έκδοση ARM64· τα Windows 11 on Arm μπορούν να εκτελέσουν την έκδοση 64-bit μέσω εξομοίωσης.
Πού μπορώ να κατεβάσω παλαιότερη έκδοση του Scryer Prolog;
Η σελίδα εκδόσεων περιλαμβάνει και τις 2 εκδόσεις με συνδέσμους προς τα επίσημα αρχεία εγκατάστασης, από τις 28 Αυγούστου 2023 και μετά.
Μπορώ να χρησιμοποιήσω το Scryer Prolog χωρίς δικαιώματα διαχειριστή;
Ναι, είναι φορητό: αρκεί να το αποσυμπιέσετε και να το εκτελέσετε.
Ποια είναι τα εναλλακτικά του Scryer Prolog;
Go Programming Language, LLVM, Deno, CMake και Yarn. Η σελίδα εναλλακτικών τα συγκρίνει.
