Como instalar o SWI-Prolog no Linux!

SWI-Prolog é uma implementação de código aberto (BSD-2) da linguagem Prolog com muitas extensões. É implementado em C (versão 11) e Prolog e está disponível para diversas plataformas (Linux, praticamente qualquer sistema tipo POSIX, MacOS, Windows). Neste tutorial, saiba como instalar o SWI-Prolog no Linux, usando pacotes Flatpak.

Todas as CPUs suportadas pelo Debian Linux são suportadas pelo SWI-Prolog. Um protótipo rodando em seu navegador baseado em WASM (Web Assembly) está disponível. (SWI-)Prolog é uma linguagem versátil. Está sendo usado para validação de regras de negócios, processamento de linguagem natural, verificação de software, refatoração de software, configuração de rede, segurança, robótica, raciocínio em domínios jurídicos e médicos, processamento de gráficos, aprendizado de máquina (ILP, PLP), dados vinculados (RDF), provas matemáticas e muito mais. Siga o tutorial abaixo e instale-o agora mesmo no seu Linux.

Saiba instalar o SWI-Prolog no Ubuntu e derivados!

Para instalar o SWI-Prolog no Ubuntu, execute o comando abaixo. Vale lembrar que neste processo de instalação, vamos utilizar um pacote flatpak.

Passo 1 – Instalar e ativar o suporte ao Flatpak no Ubuntu, Linux Mint e derivados:

sudo apt install flatpak

Passo 2 – Agora, vamos adicionar o repositório Flathub, que é onde vamos baixar e instalar o SWI-Prolog para seguir com o processo de instalação no Ubuntu, Linux Mint ou derivados:

flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepo

Passo 3 – Agora, precisamos reiniciar o sistema, em seguida, volte neste tutorial e prossiga com a instalação! Para reiniciar você pode utilizar o botão padrão do seu ambiente, ou execute o comando abaixo:

sudo reboot

Passo 4 – Execute o comando de instalação do SWI-Prolog no Ubuntu, Linux Mint e derivados:

flatpak install flathub org.swi_prolog.swipl

Passo 5 – Comando para executar a aplicação:

flatpak run org.swi_prolog.swipl

Saiba instalar o SWI-Prolog no Fedora e derivados!

Para instalar o SWI-Prolog no Fedora, execute os comandos abaixo. Lembrando que o Fedora já vem com suporte ao Flatpak habilitado, então basta executar os comandos abaixo:

Passo 1 – Execute o comando de instalação do SWI-Prolog no Fedora:

flatpak install flathub org.swi_prolog.swipl

Passo 2 – Comando para executar a aplicação:

flatpak run org.swi_prolog.swipl

Saiba instalar o SWI-Prolog no Debian e derivados!

Para instalar o SWI-Prolog no Debian, execute os comandos abaixo:

Nota: Caso você já tenha instalado e ativado o Flatpak no Debian, pode pular para o Passo 4.