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ón del desarrollador (inglés)
¿Qué es Scryer Prolog?
Detrás de Scryer Prolog está Mark Thom; se trata de software de código abierto para Windows incluido en la categoría Lenguajes y SDK. Está escrito en Rust.
Instalación y requisitos
El desarrollador ofrece instaladores Portable para Windows de 64 bits. Funciona sin instalación (versión portable).
Actualizaciones e historial de versiones
La versión actual es la 0.9.3, publicada el 3 de noviembre de 2023. El historial llega hasta 28 de agosto de 2023: 2 versiones, todas enlazadas a los archivos oficiales. Lleva más de un año sin actualizaciones.
Popularidad y tipos de archivo
El código fuente en GitHub (mthom/scryer-prolog) tiene 2462 estrellas. En Windows registra 1 tipo de archivo, entre ellos .pl. Entre los programas similares figuran Go Programming Language, LLVM y Deno.
Descripción del proyecto en GitHub: “A modern Prolog implementation written mostly in Rust.”
Ventajas / Inconvenientes
Ventajas
- Código abierto: cualquiera puede revisar y compilar el código
- Portable: funciona sin instalar
Inconvenientes
- Sin versión nativa para ARM64
- Más de un año sin actualizaciones
En resumen: Scryer Prolog es un programa de código abierto de la categoría Lenguajes y SDK, disponible para equipos de 64 bits. Las actualizaciones se han espaciado.
¿Es seguro descargar Scryer Prolog?
- El archivo se sirve desde github.com, el dominio del propio desarrollador
- El enlace de descarga usa HTTPS
- Hay un hash SHA256 publicado para verificar el archivo:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Abrir el informe de VirusTotal de este hash - El enlace aún no se ha comprobado
- El código fuente es público
- ExeAtlas no aloja, envuelve ni modifica instaladores
Guía relacionada: Cómo comprobar el hash SHA256 de un archivo en Windows
Prácticas de seguridad (OpenSSF Scorecard)
Comprobaciones automáticas del repositorio mthom/scryer-prolog en GitHub, realizadas por la Open Source Security Foundation; última ejecución: 19 de octubre de 2026.
- Mantenimiento activo10
- Sin flujos de trabajo peligrosos10
- Sin binarios en el repositorio10
- Licencia declarada10
- Paquetes publicados10
- Revisión de código8
- Dependencias fijadas7
- Permisos de token restringidos0
- Insignia OpenSSF Best Practices0
- Política de seguridad0
- Fuzzing0
- Protección de ramas0
- Versiones firmadas0
- Análisis estático de código0
La puntuación valora cómo se desarrolla y se publica el proyecto, no si el programa es seguro de instalar. scorecard.dev
Versiones recientes
Las 2 versiones ›| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 0.9.3Última | 3 de noviembre de 2023 | — | 64 bits ZIP |
| 0.9.2 | 28 de agosto de 2023 | — | 64 bits ZIP |
Instalar desde la línea de comandos
Instalación silenciosa ›winget install --id mthom.ScryerProlog -eGuía relacionada: Cómo usar winget: instalar y actualizar programas
También para otros sistemas
brew install scryer-prologInformación
- Desarrollador
- Mark Thom
- Categoría
- Lenguajes y SDK
- Licencia
- BSD-3-Clause
- Precio
- Gratis
- Código fuente
- github.com/mthom/scryer-prolog
- Lenguaje
- Rust
- Requisitos
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instalador
- Portable
- Versión
- 0.9.3
- Fecha de publicación
- 3 de noviembre de 2023
- Añadido al catálogo
- 26 de septiembre de 2023
- Versiones registradas
- 2
- Estrellas en GitHub
- 2462
- Forks en GitHub
- 166
- Sitio web
- scryer.pl
- ID de winget
- mthom.ScryerProlog
Tipos de archivo que abre (1)
Valoraciones y opiniones
Todavía no hay opiniones.
Alternativas a Scryer Prolog
Ver todo ›-
Código abierto2,1 M ↓ -
Código abierto2,8 M ↓ -
Código abierto249,7 mil ↓ -
Código abierto3,7 M ↓ -
Código abierto1,9 M ↓ -
Código abierto263,6 mil ↓ -
Código abierto2,2 M ↓ -
Código abierto1,4 M ↓
Preguntas frecuentes
¿Es gratis Scryer Prolog?
Sí. Scryer Prolog es software de código abierto con licencia BSD-3-Clause.
¿Es seguro descargar Scryer Prolog?
La descarga procede de github.com, un dominio del propio desarrollador. ExeAtlas no aloja ni modifica el archivo. Se puede comparar su hash SHA256 con el que aparece aquí o abrir el informe de VirusTotal de ese hash.
¿Cómo instalar Scryer Prolog con winget?
Basta con abrir PowerShell o Terminal Windows y ejecutar el comando winget que figura en esta página. winget descarga el instalador oficial y comprueba su hash SHA256 antes de ejecutarlo.
¿Funciona Scryer Prolog en ARM (Windows on Arm)?
No hay versión para ARM64; Windows 11 on Arm puede ejecutar la versión de 64 bits mediante emulación.
¿Dónde descargar versiones anteriores de Scryer Prolog?
La página de versiones recoge las 2 versiones con enlaces a sus instaladores oficiales, desde 28 de agosto de 2023.
¿Se puede usar Scryer Prolog sin permisos de administrador?
Sí, es portable: basta con descomprimirlo y ejecutarlo.
¿Qué alternativas hay a Scryer Prolog?
Go Programming Language, LLVM, Deno, CMake y Yarn. La página de alternativas los compara.
