Se você quer desenvolver com a linguagem Prolog, conheça e veja como instalar o IDE SWI-Prolog no Linux via Flatpak.
SWI-Prolog é uma implementação de código aberto (BSD-2) da linguagem Prolog com muitas extensões.
Ele é implementado em C (versão 11) e Prolog e está disponível para diversas plataformas (Linux, praticamente qualquer sistema tipo POSIX, MacOS, Windows).
Todas as CPUs suportadas pelo Debian Linux são suportadas. 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.
Como instalar o IDE SWI-Prolog no Linux via Flatpak
Para instalar o IDE SWI-Prolog no Linux via Flatpak você precisa ter o suporte a essa tecnologia instalado em seu sistema. Se não tiver, use o tutorial abaixo para instalar:
Como instalar o suporte a Flatpak no Linux
Por usar a tecnologia Flatpak, é possível instalar o aplicativo no Ubuntu, Fedora, Debian, openSUSE, e todas as distribuições que suportam esse formato, usando esse tutorial.
Depois, você pode instalar o IDE SWI-Prolog no Linux via Flatpak, fazendo o seguinte:
Passo 1. Abra um terminal;
Passo 2. Use o comando abaixo para instalar o programa via Flatpak. Tenha paciência, pois muitas vezes pode demorar vários minutos para que o Flatpak faça o download de tudo o que precisa;
flatpak install --user https://flathub.org/repo/appstream/org.swi_prolog.swipl.flatpakrefPasso 3. Para atualizar o programa, quando uma nova versão estiver disponível, execute o comando:
flatpak --user update org.swi_prolog.swiplPronto! Agora, quando quiser iniciar o programa, digite flatpak run org.swi_prolog.swipl em um terminal.
Você também pode tentar iniciar o programa no menu Aplicativos/Dash/Atividades ou qualquer outro lançador de aplicativos da sua distro, ou digite swipl ou em um terminal, seguido da tecla TAB.
Como desinstalar
Depois, se for necessário, para desinstalar o IDE SWI-Prolog no Linux via Flatpak, faça o seguinte:
Passo 1. Abra um terminal;
Passo 2. Desinstale o programa, usando o seguinte comando no terminal:
flatpak --user uninstall org.swi_prolog.swiplOu
flatpak uninstall org.swi_prolog.swipl