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.
Descrizione del produttore (inglese)
Cos’è Scryer Prolog?
Pubblicato da Mark Thom, Scryer Prolog è un software open source per Windows che rientra nella categoria Linguaggi e SDK. È scritto in Rust.
Installazione e requisiti
Il produttore distribuisce pacchetti Portable per le versioni 64 bit di Windows. Funziona senza installazione (versione portable).
Aggiornamenti e cronologia delle versioni
La versione attuale è la 0.9.3 (rilascio: 3 novembre 2023). La cronologia comprende 2 versioni (prima versione: 28 agosto 2023), tutte collegate ai file ufficiali. L’ultimo aggiornamento risale a più di un anno fa.
Popolarità e tipi di file
Il codice sorgente su GitHub (mthom/scryer-prolog) ha 2462 stelle. Su Windows registra 1 tipo di file, tra cui .pl. Tra i programmi simili ci sono Go Programming Language, LLVM e Deno.
Descrizione del progetto su GitHub: “A modern Prolog implementation written mostly in Rust.”
Pro / Contro
Pro
- Open source: chiunque può esaminare e compilare il codice
- Portable: funziona senza installazione
Contro
- Nessuna versione ARM64 nativa
- Nessun aggiornamento da oltre un anno
In breve: Scryer Prolog è un programma open source per Windows della categoria Linguaggi e SDK, per PC 64 bit. Gli aggiornamenti si sono diradati.
Scaricare Scryer Prolog è sicuro?
- Il file è fornito da github.com, il dominio del produttore
- Il link di download usa HTTPS
- L’hash SHA256 è pubblicato: il file si può verificare:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Apri il rapporto VirusTotal di questo hash - Il link non è ancora stato controllato
- Il codice sorgente è pubblico
- ExeAtlas non ospita, non incapsula e non modifica gli installer
Guida correlata: Come verificare l’hash SHA256 di un file su Windows
Pratiche di sicurezza (OpenSSF Scorecard)
Controlli automatici eseguiti dalla Open Source Security Foundation sul repository mthom/scryer-prolog su GitHub; ultima esecuzione: 19 ottobre 2026.
- Manutenzione attiva10
- Nessun workflow pericoloso10
- Nessun binario nel repository10
- Licenza dichiarata10
- Pacchetti pubblicati10
- Revisione del codice8
- Dipendenze bloccate7
- Permessi dei token limitati0
- Badge OpenSSF Best Practices0
- Policy di sicurezza0
- Fuzzing0
- Protezione dei branch0
- Release firmate0
- Analisi statica del codice0
Il punteggio misura come il progetto viene sviluppato e rilasciato, non se il programma sia sicuro da installare. scorecard.dev
Versioni recenti
Tutte le versioni (2) ›| Versione | Data | Dimensione | File |
|---|---|---|---|
| 0.9.3Ultima | 3 novembre 2023 | — | 64 bit ZIP |
| 0.9.2 | 28 agosto 2023 | — | 64 bit ZIP |
Installazione da riga di comando
Installazione silenziosa ›winget install --id mthom.ScryerProlog -eGuida correlata: Come usare winget: installare e aggiornare app
Disponibile anche per altri sistemi
brew install scryer-prologInformazioni
- Produttore
- Mark Thom
- Categoria
- Linguaggi e SDK
- Licenza
- BSD-3-Clause
- Prezzo
- Gratis
- Codice sorgente
- github.com/mthom/scryer-prolog
- Linguaggio
- Rust
- Requisiti
- Windows 11 / 10
- Architettura
- 64 bit
- Installer
- Portable
- Versione
- 0.9.3
- Data di rilascio
- 3 novembre 2023
- Aggiunto al catalogo
- 26 settembre 2023
- Versioni elencate
- 2
- Stelle su GitHub
- 2462
- Fork su GitHub
- 166
- Sito ufficiale
- scryer.pl
- ID winget
- mthom.ScryerProlog
Tipi di file supportati (1)
Valutazioni e recensioni
Ancora nessuna recensione.
Alternative a Scryer Prolog
Vedi tutti ›-
Open source2,1 Mln ↓ -
Open source2,8 Mln ↓ -
Open source249,7K ↓ -
Open source3,7 Mln ↓ -
Open source1,9 Mln ↓ -
Open source263,6K ↓ -
Open source2,2 Mln ↓ -
Open source1,4 Mln ↓
Domande frequenti
Scryer Prolog è gratis?
Sì. Scryer Prolog è un software open source con licenza BSD-3-Clause.
Scaricare Scryer Prolog è sicuro?
Il file viene scaricato da github.com, un dominio che appartiene al produttore; ExeAtlas non ospita né modifica il file. Si può confrontare il suo hash SHA256 con quello indicato qui oppure aprire il rapporto VirusTotal di quell’hash.
Come si installa Scryer Prolog con winget?
Basta aprire PowerShell o Windows Terminal ed eseguire il comando winget riportato in questa pagina. winget scarica l’installer ufficiale e ne verifica l’hash SHA256 prima di avviarlo.
Scryer Prolog funziona su ARM (Windows on Arm)?
Non esiste una versione ARM64; Windows 11 su Arm può eseguire la versione 64 bit tramite emulazione.
Dove scaricare una versione precedente di Scryer Prolog?
La pagina delle versioni elenca tutte le 2 versioni con i link ai file di installazione ufficiali; la più vecchia è datata 28 agosto 2023.
Scryer Prolog si può usare senza diritti di amministratore?
Sì, è portable: basta estrarre l’archivio e avviare il programma.
Quali sono le alternative a Scryer Prolog?
Go Programming Language, LLVM, Deno, CMake e Yarn. La pagina delle alternative le mette a confronto.
