Did you know ... Search Documentation:
SWI-Prolog 8.2.0 (stable) released
0 upvotes 0 0 downvotes
Picture of user Jan Wielemaker.

After almost a year development a new stable version has been made available.

SWI-Prolog 8.2 notably brings many of the advanced tabling support of XSB to SWI-Prolog: Well Founded Semantics, restraints, incremental tabling and shared tabling. It also makes rational numbers primary citizens. Using Google's tcmalloc reduces the memory footprint drastically on some multi-threaded workloads.

See announcement on Discourse for details.

Back to fresh news items