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.
Descrição do desenvolvedor (inglês)
O que é Scryer Prolog?
Publicado por Mark Thom, Scryer Prolog é um software de código aberto para Windows que aparece na categoria Linguagens e SDKs. Foi escrito em Rust.
Instalação e requisitos
O desenvolvedor disponibiliza instaladores Portátil para Windows 64 bits. Roda sem instalação (versão portátil).
Atualizações e histórico de versões
A versão atual é a 0.9.3, lançada em 3 de novembro de 2023. O histórico vai até 28 de agosto de 2023: 2 versões, todas com link para os arquivos oficiais. A última atualização tem mais de um ano.
Popularidade e tipos de arquivo
O código-fonte no GitHub (mthom/scryer-prolog) tem 2.462 estrelas. No Windows, registra 1 tipo de arquivo, como .pl. Entre os programas parecidos estão Go Programming Language, LLVM e Deno.
Descrição do projeto no GitHub: “A modern Prolog implementation written mostly in Rust.”
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Portátil: roda sem instalar
Pontos negativos
- Sem versão nativa ARM64
- Sem atualização há mais de um ano
Em resumo: Scryer Prolog é um programa de código aberto da categoria Linguagens e SDKs, disponível para PCs 64 bits. As atualizações ficaram mais espaçadas.
É seguro baixar Scryer Prolog?
- O arquivo vem de github.com, o domínio do próprio desenvolvedor
- O link de download usa HTTPS
- Há um hash SHA256 publicado para você verificar o arquivo:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Abrir o relatório do VirusTotal para este hash - O link ainda não foi verificado
- O código-fonte é público
- O ExeAtlas não hospeda, encapsula nem modifica instaladores
Guia relacionado: Como verificar o hash SHA256 de um arquivo no Windows
Práticas de segurança (OpenSSF Scorecard)
Verificações automáticas do repositório mthom/scryer-prolog no GitHub feitas pela Open Source Security Foundation, executadas pela última vez em 19 de outubro de 2026.
- Manutenção ativa10
- Sem workflows perigosos10
- Sem binários no repositório10
- Licença declarada10
- Pacotes publicados10
- Revisão de código8
- Dependências fixadas7
- Permissões de token restritas0
- Selo OpenSSF Best Practices0
- Política de segurança0
- Fuzzing0
- Proteção de branches0
- Versões assinadas0
- Análise estática de código0
A nota avalia como o projeto é desenvolvido e publicado, não se o programa é seguro para instalar. scorecard.dev
Versões recentes
Todas as 2 versões ›| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 0.9.3Atual | 3 de novembro de 2023 | — | 64 bits ZIP |
| 0.9.2 | 28 de agosto de 2023 | — | 64 bits ZIP |
Instalar pela linha de comando
Instalação silenciosa ›winget install --id mthom.ScryerProlog -eGuia relacionado: Como usar o winget: instalar e atualizar programas
Também para outros sistemas
brew install scryer-prologInformações
- Desenvolvedor
- Mark Thom
- Categoria
- Linguagens e SDKs
- Licença
- BSD-3-Clause
- Preço
- Grátis
- Código-fonte
- github.com/mthom/scryer-prolog
- Linguagem
- Rust
- Requisitos
- Windows 11 / 10
- Arquitetura
- 64 bits
- Instalador
- Portátil
- Versão
- 0.9.3
- Lançamento
- 3 de novembro de 2023
- Adicionado ao catálogo
- 26 de setembro de 2023
- Versões registradas
- 2
- Estrelas no GitHub
- 2.462
- Forks no GitHub
- 166
- Site oficial
- scryer.pl
- ID do winget
- mthom.ScryerProlog
Tipos de arquivo que abre (1)
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Alternativas para Scryer Prolog
Ver tudo ›-
Código aberto2,1 mi ↓ -
Código aberto2,8 mi ↓ -
Código aberto249,7 mil ↓ -
Código aberto3,7 mi ↓ -
Código aberto1,9 mi ↓ -
Código aberto263,6 mil ↓ -
Código aberto2,2 mi ↓ -
Código aberto1,4 mi ↓
Perguntas frequentes
Scryer Prolog é grátis?
Sim. Scryer Prolog é um software de código aberto com licença BSD-3-Clause.
É seguro baixar Scryer Prolog?
O download vem de github.com, um domínio do próprio desenvolvedor. O ExeAtlas não hospeda nem altera o arquivo. Você pode comparar o hash SHA256 do arquivo com o que aparece aqui ou abrir o relatório do VirusTotal para esse hash.
Como instalar Scryer Prolog pelo winget?
Abra o PowerShell ou o Terminal do Windows e rode o comando winget mostrado nesta página. O winget baixa o instalador oficial e confere o hash SHA256 antes de executá-lo.
Scryer Prolog roda em ARM (Windows on Arm)?
Não há versão ARM64; o Windows 11 on Arm consegue rodar a versão 64 bits por emulação.
Onde baixar versões antigas de Scryer Prolog?
A página de versões lista as 2 versões com links para os instaladores oficiais, desde 28 de agosto de 2023.
Dá para usar Scryer Prolog sem permissão de administrador?
Sim, é portátil: basta extrair e executar.
Quais são as alternativas para Scryer Prolog?
Go Programming Language, LLVM, Deno, CMake e Yarn. A página de alternativas faz a comparação.
