SWI-Prolog é uma implementação em código aberto da linguagem de programação Prolog. Seu autor principal é Jan Wielemaker. Em desenvolvimento contínuo desde 1987, SWI-Prolog possui um rico conjunto de características, bibliotecas (incluindo sua própria biblioteca para GUI, XPCE), ferramentas (incluindo um IDE) e uma documentação extensiva. SWI-Prolog funciona nas plataformas Unix, Windows e Macintosh.
O nome SWI é derivado de Sociaal-Wetenschappelijke Informatica ("Ciências Sociais Informática"), o antigo nome do grupo na Universidade de Amsterdã onde Wielemaker está empregado. O nome desse grupo mudou para HCS (Human-Computer Studies).
O que é SWI-Prolog?
Publicado por SWI-Prolog, SWI-Prolog é um software de código aberto para Windows que aparece na categoria IDEs e editores de código. O desenvolvimento é de Jan Wielemaker. A primeira versão saiu em 1987. Foi escrito em C. Além do Windows, tem versão para GNU/Linux, BSD, macOS e Android.
Instalação e requisitos
O desenvolvedor disponibiliza instaladores EXE (NSIS) para Windows 64 bits. O instalador principal tem 36,1 MB. A instalação pede permissão de administrador. A instalação silenciosa é possível com os parâmetros documentados do instalador.
Atualizações e histórico de versões
A versão atual é a 10.0.2, lançada em 15 de março de 2026. O histórico vai até 27 de janeiro de 2021: 21 versões, todas com link para os arquivos oficiais. Isso dá cerca de 4,1 versões por ano.
Popularidade e tipos de arquivo
O pacote do Chocolatey já foi baixado 22.048 vezes. A Wikipédia tem artigo sobre ele em 8 dos idiomas deste site. No Windows, registra 3 tipos de arquivo, como .pl, .prolog e .qlf. Entre os programas parecidos estão OpenCode, RStudio e Node.js (LTS).
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Instalação silenciosa documentada
- Também roda em GNU/Linux, BSD e macOS
- Projeto maduro (desde 1987)
Pontos negativos
- Sem versão nativa ARM64
- A instalação exige permissão de administrador
Em resumo: SWI-Prolog é um programa de código aberto da categoria IDEs e editores de código, disponível para PCs 64 bits. Recebe atualizações com frequência. Administradores de TI podem implantá-lo sem interação do usuário.
É seguro baixar SWI-Prolog?
- O arquivo vem de swi-prolog.org, o domínio do próprio desenvolvedor
- O link de download usa HTTPS
- Há um hash SHA256 publicado para você verificar o arquivo:
2EC1F25BE0EAFB92E559004782B130774C12573FB4B7E8A917E534754A641AD6· Abrir o relatório do VirusTotal para este hash - O link respondeu na última verificação (22 de outubro de 2026)
- 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
Versões recentes
Todas as 21 versões ›21 versões em 5 anos · cerca de 4,1 por ano
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 10.0.2Atual | 15 de março de 2026 | 36,1 MB | 64 bits EXE (NSIS) |
| 10.0.1 | 18 de fevereiro de 2026 | 36,1 MB | 64 bits EXE (NSIS) |
| 10.0.0 | 5 de dezembro de 2025 | 36,8 MB | 64 bits EXE (NSIS) |
| 9.2.9 | 23 de dezembro de 2024 | 14,3 MB | 32 bits EXE (NSIS)64 bits EXE (NSIS) |
| 9.2.8 | 23 de outubro de 2024 | 13,9 MB | 32 bits EXE (NSIS)64 bits EXE (NSIS) |
| 9.2.7 | 3 de setembro de 2024 | 13,9 MB | 64 bits EXE (NSIS)32 bits EXE (NSIS) |
| 9.2.6 | 24 de julho de 2024 | 13,8 MB | 32 bits EXE (NSIS)64 bits EXE (NSIS) |
| 9.2.5 | 22 de maio de 2024 | 13,8 MB | 64 bits EXE (NSIS)32 bits EXE (NSIS) |
Instalar pela linha de comando
Instalação silenciosa ›winget install --id SWI-Prolog.SWI-Prolog -echoco install SWI-Prolog -yscoop install extras/swiplswipl-10.0.2-1.x64.exe /SArquivos de programa (.exe): swipl.exe, swipl-ld.exe
Guia relacionado: Como usar o winget: instalar e atualizar programas
Também para outros sistemas
brew install swi-prologflatpak install flathub org.swi_prolog.swiplInformações
- Desenvolvedor
- SWI-Prolog
- Criado por
- Jan Wielemaker
- Categoria
- IDEs e editores de código
- Licença
- BSD-2-Clause
- Preço
- Grátis
- Código-fonte
- github.com
- Linguagem
- C
- Classificação indicativa
- Livre
- Requisitos
- Windows 11 / 10
- Arquitetura
- 64 bits
- Instalador
- EXE (NSIS)
- Outras plataformas
- GNU/Linux, BSD, macOS, Android
- Versão
- 10.0.2
- Lançamento
- 15 de março de 2026
- Primeira versão
- 1987
- Adicionado ao catálogo
- 10 de janeiro de 2022
- Versões registradas
- 21
- Atualizações por ano
- 4,1
- Downloads no Chocolatey
- 22.048
- Site oficial
- swi-prolog.org
- ID do winget
- SWI-Prolog.SWI-Prolog
- Pacote do Chocolatey
- SWI-Prolog
- Pacote do Scoop
- extras/swipl
Tipos de arquivo que abre (3)
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Alternativas para SWI-Prolog
Ver tudo ›-
Código aberto285,2 mil ↓ -
Código aberto705,1 mil ↓ -
Código aberto4,9 mi ↓ -
Código aberto88,8 mil ↓ -
Código aberto49,7 mil ↓ -
Código aberto394,5 mil ↓ -
Código aberto94,6 mil ↓ -
Código aberto12,3 mil ↓
Perguntas frequentes
SWI-Prolog é grátis?
Sim. SWI-Prolog é um software de código aberto com licença BSD-2-Clause.
É seguro baixar SWI-Prolog?
O download vem de swi-prolog.org, 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 SWI-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.
Dá para instalar SWI-Prolog em modo silencioso?
Sim. A página de instalação silenciosa traz o comando exato para cada instalador.
SWI-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 SWI-Prolog?
A página de versões lista as 21 versões com links para os instaladores oficiais, desde 27 de janeiro de 2021.
Quais são as alternativas para SWI-Prolog?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans e Haxe. A página de alternativas faz a comparação.
