Se você procura um IDE para usar Prolog via 2p-kt, conheça e veja como instalar o tuProlog IDE no Linux via Flatpak.
Prolog
Como instalar o IDE SWI-Prolog no Linux via Flatpak
Se você quer desenvolver com a linguagem Prolog, conheça e veja como instalar o IDE SWI-Prolog no Linux via Flatpak.