tuProlog » Blog » tuProlog 4.0 has been released

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