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.
Descrierea dezvoltatorului (engleză)
Ce este Scryer Prolog?
Publicat de Mark Thom, Scryer Prolog este un software open source pentru Windows, încadrat în categoria Limbaje și SDK-uri. Este scris în Rust.
Instalare și cerințe
Dezvoltatorul oferă instalatoare Portabil pentru Windows pe 64 de biți. Funcționează fără instalare (versiune portabilă).
Actualizări și istoricul versiunilor
Versiunea actuală este 0.9.3, lansată pe 3 noiembrie 2023. Istoricul merge înapoi până la 28 august 2023 și cuprinde 2 versiuni, toate cu linkuri către fișierele oficiale. Ultima actualizare are mai mult de un an.
Popularitate și tipuri de fișiere
Codul sursă de pe GitHub (mthom/scryer-prolog) are 2.462 de stele. În Windows înregistrează un tip de fișier, printre care .pl. Printre programele similare se numără Go Programming Language, LLVM și Deno.
Descrierea proiectului pe GitHub: “A modern Prolog implementation written mostly in Rust.”
Avantaje / Dezavantaje
Avantaje
- Open source: codul poate fi verificat și compilat de oricine
- Portabil: rulează fără instalare
Dezavantaje
- Fără versiune nativă ARM64
- Nicio actualizare de mai bine de un an
Pe scurt: Scryer Prolog este un program open source din categoria Limbaje și SDK-uri, disponibil pentru calculatoare cu 64 de biți. Actualizările s-au rărit.
Este sigur să descărcați Scryer Prolog?
- Fișierul este livrat de github.com, domeniul dezvoltatorului
- Linkul de descărcare folosește HTTPS
- Există un hash SHA256 publicat pentru verificarea fișierului:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Deschideți raportul VirusTotal pentru acest hash - Linkul nu a fost verificat încă
- Codul sursă este public
- ExeAtlas nu găzduiește, nu împachetează și nu modifică instalatoare
Ghid asociat: Cum verificați hash-ul SHA256 al unui fișier în Windows
Practici de securitate (OpenSSF Scorecard)
Verificări automate ale depozitului mthom/scryer-prolog de pe GitHub, efectuate de Open Source Security Foundation; ultima rulare: 19 octombrie 2026.
- Întreținut activ10
- Fără fluxuri de lucru periculoase10
- Fără binare în depozit10
- Licență declarată10
- Pachete publicate10
- Revizuirea codului8
- Dependențe fixate7
- Permisiuni restrânse pentru tokenuri0
- Insigna OpenSSF Best Practices0
- Politică de securitate0
- Fuzzing0
- Protecția ramurilor0
- Versiuni semnate0
- Analiză statică a codului0
Scorul evaluează modul în care proiectul este dezvoltat și publicat, nu dacă programul este sigur de instalat. scorecard.dev
Versiuni recente
Toate cele 2 versiuni ›| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 0.9.3Cea mai nouă | 3 noiembrie 2023 | — | 64 de biți ZIP |
| 0.9.2 | 28 august 2023 | — | 64 de biți ZIP |
Instalare din linia de comandă
Instalare silențioasă ›winget install --id mthom.ScryerProlog -eGhid asociat: Cum se folosește winget: instalare și actualizare
Și pentru alte sisteme
brew install scryer-prologInformații
- Dezvoltator
- Mark Thom
- Categorie
- Limbaje și SDK-uri
- Licență
- BSD-3-Clause
- Preț
- Gratuit
- Cod sursă
- github.com/mthom/scryer-prolog
- Limbaj de programare
- Rust
- Cerințe
- Windows 11 / 10
- Arhitectură
- 64 de biți
- Instalator
- Portabil
- Versiune
- 0.9.3
- Data lansării
- 3 noiembrie 2023
- Adăugat în catalog
- 26 septembrie 2023
- Versiuni listate
- 2
- Stele pe GitHub
- 2.462
- Fork-uri pe GitHub
- 166
- Site web
- scryer.pl
- ID winget
- mthom.ScryerProlog
Tipuri de fișiere pe care le deschide (1)
Evaluări și recenzii
Nicio recenzie încă.
Alternative la Scryer Prolog
Vezi tot ›-
Open source2,1 mil. ↓ -
Open source2,8 mil. ↓ -
Open source249,7 K ↓ -
Open source3,7 mil. ↓ -
Open source1,9 mil. ↓ -
Open source263,6 K ↓ -
Open source2,2 mil. ↓ -
Open source1,4 mil. ↓
Întrebări frecvente
Este Scryer Prolog gratuit?
Da. Scryer Prolog este un software open source cu licența BSD-3-Clause.
Este sigur să descărcați Scryer Prolog?
Fișierul se descarcă de pe github.com, un domeniu care aparține dezvoltatorului. ExeAtlas nu găzduiește și nu modifică fișierul. Hash-ul SHA256 al fișierului poate fi comparat cu cel afișat aici, iar raportul VirusTotal pentru acel hash poate fi deschis de pe această pagină.
Cum se instalează Scryer Prolog cu winget?
Deschideți PowerShell sau Windows Terminal și rulați comanda winget afișată pe această pagină. winget descarcă instalatorul oficial și îi verifică hash-ul SHA256 înainte de a-l rula.
Funcționează Scryer Prolog pe ARM (Windows on Arm)?
Nu există o versiune ARM64; Windows 11 on Arm poate rula versiunea pentru 64 de biți prin emulare.
De unde se descarcă o versiune mai veche a programului Scryer Prolog?
Pagina de versiuni listează toate cele 2 versiuni, cu linkuri către instalatoarele oficiale, începând din 28 august 2023.
Se poate folosi Scryer Prolog fără drepturi de administrator?
Da, este portabil: se dezarhivează și se rulează.
Ce alternative există la Scryer Prolog?
Go Programming Language, LLVM, Deno, CMake și Yarn. Pagina de alternative le compară.
