Jul 16 2019

tuProlog 4.0 has been released! The new 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 of terms
  • new development process splitting the code into four main modules: core, parser, presentation, ui
  • dockerization of the command line interface
  • completing the pending bugfixes, with special regards to some old annoying bugs


tuProlog is an open source technology released under the Apache 2.0 License

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY