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.
Descripció del desenvolupador (anglès)
Què és Scryer Prolog?
Publicat per Mark Thom, Scryer Prolog és programari de codi obert per a Windows inclòs a la categoria Llenguatges i SDK. Està escrit en Rust.
Instal·lació i requisits
El desenvolupador ofereix instal·ladors Portable per a Windows de 64 bits. Funciona sense instal·lació (versió portable).
Actualitzacions i historial de versions
La versió actual és la 0.9.3, publicada el 3 de novembre del 2023. L’historial arriba fins a 28 d’agost del 2023 i reuneix 2 versions, totes enllaçades als fitxers oficials. Fa més d’un any que no s’actualitza.
Popularitat i tipus de fitxer
El codi font a GitHub (mthom/scryer-prolog) té 2.462 estrelles. A Windows registra 1 tipus de fitxer, entre els quals .pl. Entre els programes semblants hi ha Go Programming Language, LLVM i Deno.
Descripció del projecte a GitHub: “A modern Prolog implementation written mostly in Rust.”
Avantatges / Inconvenients
Avantatges
- Codi obert: qualsevol persona pot revisar i compilar el codi
- Portable: funciona sense instal·lar-lo
Inconvenients
- Sense versió nativa per a ARM64
- Més d’un any sense actualitzacions
En resum: Scryer Prolog és un programa de codi obert de la categoria Llenguatges i SDK, disponible per a ordinadors de 64 bits. Les actualitzacions s’han espaiat.
És segur baixar Scryer Prolog?
- El fitxer se serveix des de github.com, el domini del mateix desenvolupador
- L’enllaç de baixada fa servir HTTPS
- Hi ha un hash SHA256 publicat per verificar el fitxer:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Obre l’informe de VirusTotal d’aquest hash - L’enllaç encara no s’ha comprovat
- El codi font és públic
- ExeAtlas no allotja, no embolcalla ni modifica instal·ladors
Guia relacionada: Com comprovar el hash SHA256 d’un fitxer a Windows
Pràctiques de seguretat (OpenSSF Scorecard)
Comprovacions automàtiques que l’Open Source Security Foundation fa del repositori mthom/scryer-prolog a GitHub; darrera execució: 19 d’octubre del 2026.
- Manteniment actiu10
- Cap flux de treball perillós10
- Cap binari al repositori10
- Llicència declarada10
- Paquets publicats10
- Revisió del codi8
- Dependències fixades7
- Permisos dels tokens restringits0
- Insígnia OpenSSF Best Practices0
- Política de seguretat0
- Fuzzing0
- Protecció de branques0
- Versions signades0
- Anàlisi estàtica del codi0
La puntuació valora com es desenvolupa i es publica el projecte, no si el programa és segur d’instal·lar. scorecard.dev
Versions recents
Les 2 versions ›| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 0.9.3Darrera | 3 de novembre del 2023 | — | 64 bits ZIP |
| 0.9.2 | 28 d’agost del 2023 | — | 64 bits ZIP |
Instal·lar des de la línia d’ordres
Instal·lació silenciosa ›winget install --id mthom.ScryerProlog -eGuia relacionada: Com utilitzar winget: instal·lar i actualitzar
També per a altres sistemes
brew install scryer-prologInformació
- Desenvolupador
- Mark Thom
- Categoria
- Llenguatges i SDK
- Llicència
- BSD-3-Clause
- Preu
- Gratuït
- Codi font
- github.com/mthom/scryer-prolog
- Llenguatge
- Rust
- Requisits
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instal·lador
- Portable
- Versió
- 0.9.3
- Data de publicació
- 3 de novembre del 2023
- Afegit al catàleg
- 26 de setembre del 2023
- Versions registrades
- 2
- Estrelles a GitHub
- 2.462
- Bifurcacions a GitHub
- 166
- Lloc web
- scryer.pl
- ID de winget
- mthom.ScryerProlog
Tipus de fitxer que obre (1)
Valoracions i opinions
Encara no hi ha cap opinió.
Alternatives a Scryer Prolog
Mostra-ho tot ›-
Codi obert2,1 M ↓ -
Codi obert2,8 M ↓ -
Codi obert249,7 k ↓ -
Codi obert3,7 M ↓ -
Codi obert1,9 M ↓ -
Codi obert263,6 k ↓ -
Codi obert2,2 M ↓ -
Codi obert1,4 M ↓
Preguntes freqüents
Scryer Prolog és gratuït?
Sí. Scryer Prolog és programari de codi obert amb llicència BSD-3-Clause.
És segur baixar Scryer Prolog?
La baixada prové de github.com, un domini del mateix desenvolupador. ExeAtlas no allotja ni modifica el fitxer. Se’n pot comparar el hash SHA256 amb el que apareix aquí o obrir l’informe de VirusTotal d’aquest hash.
Com s’instal·la Scryer Prolog amb winget?
Només cal obrir PowerShell o el Terminal del Windows i executar l’ordre winget que figura en aquesta pàgina. winget baixa l’instal·lador oficial i en comprova el hash SHA256 abans d’executar-lo.
Scryer Prolog funciona en ARM (Windows on Arm)?
No hi ha versió per a ARM64; Windows 11 on Arm pot executar la versió de 64 bits per emulació.
On es poden baixar versions anteriors de Scryer Prolog?
La pàgina de versions recull les 2 versions amb enllaços als instal·ladors oficials, des de 28 d’agost del 2023.
Es pot fer servir Scryer Prolog sense permisos d’administrador?
Sí, és portable: només cal descomprimir-lo i executar-lo.
Quines alternatives hi ha a Scryer Prolog?
Go Programming Language, LLVM, Deno, CMake i Yarn. La pàgina d’alternatives els compara.
