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 flatpakPasso 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.flatpakrepoPasso 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 rebootPasso 4 – Execute o comando de instalação do SWI-Prolog no Ubuntu, Linux Mint e derivados:
flatpak install flathub org.swi_prolog.swiplPasso 5 – Comando para executar a aplicação:
flatpak run org.swi_prolog.swiplSaiba 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.swiplPasso 2 – Comando para executar a aplicação:
flatpak run org.swi_prolog.swiplSaiba 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.
Notícias Relacionadas
Chegou o YunoHost 12
Novidades do YunoHost 12: distribuição Linux para servidores pessoais e autohospedagem
A nova versão do YunoHost 12 foi lançada, trazendo grandes atualizações e melhorias que aprimoram a experiência de servidores pessoais e autohospedagem. Baseado no Debian 12 Bookworm, esta versão inclui um portal de usuários reformulado, mudanças significativas no SSO (Single Sign-On) e simplificações no processo de instalação de aplicativos. Vamos explorar as novidades e as […]
Tecnologia em Foco
Proxmox Virtual Environment 8.3: conheça as principais novidades
A Proxmox Server Solutions lançou o Proxmox Virtual Environment (VE) 8.3, trazendo uma série de melhorias e novas funcionalidades que atendem desde iniciantes até administradores de TI experientes. Baseado no Debian Bookworm 12.8 e no kernel Linux 6.8.12-4, com opção para o kernel 6.11, o Proxmox VE continua sendo uma das principais escolhas para virtualização […]
Passo 1 – Instalar o suporte ao Flatpak no Debian:
apt update
apt install flatpakPasso 2 – Vamos adicionar o repositório do Flathub:
flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepoPasso 3 – Reinicie o sistema, você pode fazer isso manualmente utilizando o botão do seu ambiente ou o comando abaixo:
rebootPasso 4 – E agora, vamos executar o comando para instalar o SWI-Prolog no Debian ou derivados. Observe que o comando abaixo está com o sudo, caso você não o tenha habilitado, remova o sudo e instalar usando o ROOT mesmo:
flatpak install flathub org.swi_prolog.swiplPasso 5 – Comando para executar a aplicação:
flatpak run org.swi_prolog.swiplSaiba instalar o SWI-Prolog no openSUSE e derivados!
Para instalar o SWI-Prolog no openSUSE, execute os comandos abaixo. Vamos utilizar um repositório:
Nota: Caso você já tenha instalado e ativado o Flatpak no openSUSE, pode pular para o Passo 4.
Passo 1 – Instalar o Flatpak
sudo zypper install flatpakPasso 2 – Agora, vamos adicionar o repositório Flathub:
flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepoPasso 3 – Vamos reiniciar, faça isso usando o botão de reiniciar do seu ambiente ou o comando abaixo:
sudo rebootPasso 4 – Execute o comando de instalação do SWI-Prolog no OpenSUSE:
flatpak install flathub org.swi_prolog.swiplPasso 5 – Comando para executar o SWI-Prolog
flatpak run org.swi_prolog.swipl
É isso, esperamos ter ajudado você a instalar o SWI-Prolog no Linux!
