APICe » The Wiki Blog » Blog categories » News » tuProlog

Category: tuProlog (5 posts) [RSS]

Jul 16 2019

tuProlog 4.0 has been released

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 4.0 has been released

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 
  • new development process splitting the code into four main modules: core, parser, presentation, ui
  • completing the pending bugfixes, with special regards to some old annoying bugs

Sep 28 2018

tuProlog 3.3.0 Released

tuProlog 3.3.0 has been released! This version provides a stable environment for the new eclipse plugin and the new android application.

Feb 02 2015

tuProlog 2.9.2 Released

The new release (v. 2.9.2) of tuProlog is available from via Bitbucket. ...

Oct 17 2014

tuProlog 2.9.1 Released

The new release (v. 2.9.1) of tuProlog is available from the download page. ...