Flatnic

Linux · Developer Tools

tuProlog IDE

An IDE for using Prolog via 2p-kt

by University of Bologna - tuProlog Developers

Download

Official site: flathub.org

About tuProlog IDE

tuProlog (2P henceforth) is a multi-paradigm logic programming framework written in Java.

2P-Kt is a Kotlin-based and multi-platform reboot of 2P. It consists of an open ecosystem for

Symbolic Artificial Intelligence (AI). For this reason, 2P-Kt consists of a number of

incrementally inter-dependent modules aimed at supporting symbolic manipulation and reasoning

in an extensible and flexible way.

How to install tuProlog IDE

  1. Click Download — the developer's official website opens in a new tab.
  2. Download the latest version there and run it. Choose Custom/Advanced where offered, and skip any bundled extras.
  3. Prefer the command line? With Flatpak you can install and update it with: flatpak install flathub it.unibo.tuprolog.ide
  4. Open tuProlog IDE once it finishes installing.
How to install Linux apps with Flatpak

Frequently asked questions

Is tuProlog IDE free to download?

Yes. The Download button sends you to flathub.org, the developer's official site, where tuProlog IDE is available to download. Flatnic doesn't host or modify any files.

How do I install tuProlog IDE from the command line?

With Flatpak, run: flatpak install flathub it.unibo.tuprolog.ide. This installs it from the official source and keeps it updated.

Is tuProlog IDE safe?

tuProlog IDE downloads directly from the developer. As always, scan the installer with your antivirus and choose Custom setup to skip any bundled extras.

Alternatives to tuProlog IDE

More
Visual Studio CodeCode editing. Redefined.VSCodiumTelemetry-less code editingDBeaver CommunityFree Universal Database ToolArduino IDE v2Open-source electronics prototyping platformPodman DesktopManage Podman and other container engines from a single UIAndroid StudioIDE for Android app developmentGitHub DesktopSimple collaboration from your desktopZedHigh-performance code editor