Se você procura um IDE para usar Prolog via 2p-kt, conheça e veja como instalar o tuProlog IDE no Linux via Flatpak.
tuProlog IDE é um IDE para usar Prolog via 2p-kt. tuProlog (2P doravante) é um framework de programação lógica multiparadigma escrito em Java.
2P-Kt é uma reinicialização multiplataforma e baseada em Kotlin do 2P. Ele consiste em um ecossistema aberto para Inteligência Artificial Simbólica (IA).
Por esse motivo, o 2P-Kt consiste em uma série de módulos incrementalmente interdependentes com o objetivo de dar suporte à manipulação e raciocínio simbólicos de forma extensível e flexível.
Como instalar o tuProlog IDE no Linux via Flatpak
Para instalar o tuProlog IDE 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 tuProlog IDE 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/it.unibo.tuprolog.ide.flatpakrefPasso 3. Para atualizar o programa, quando uma nova versão estiver disponível, execute o comando:
flatpak --user update it.unibo.tuprolog.idePronto! Agora, quando quiser iniciar o programa, digite flatpak run it.unibo.tuprolog.ide 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 tuprolog ou em um terminal, seguido da tecla TAB.
Como desinstalar
Depois, se for necessário, para desinstalar o tuProlog IDE 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 it.unibo.tuprolog.ideOu
flatpak uninstall it.unibo.tuprolog.ide