tuProlog » Download

tuProlog Downloads

tuProlog is available as an Open Source project on GitLab under the LGPL license.

  • Latest version: 4.0 (released on July 16, 2019)

New features version 4.0

This version aims to provide a stable environment

  • new parser redesign and implementation based on ANTLR
  • new Java API for theories and term creations
  • full support for the JSON serialization and de-serialization
  • new development process splitting the code into four main modules: core, parser, presentation, ui
  • dockerization
  • completing the pending bugfixes, with special regards to some old annoying bugs


The required platform for tuProlog 3 and upper release is Java 8 with JDK (not just a pure JRE): users not interested in the new_lambda/3 predicate, however, can go for a standard JRE. tuProlog 2.9.2 is intended to be the last stable version supporting Java 7.

The Eclipse plugin works on Eclipse Neon and Oxygen (64 bit).

The Android app works on Android 5.0.1 and above.

Looking for a previous version ?